@ggui-ai/ui-gen 0.17.0 → 0.18.0

package/dist/index.js

@@ -6,7 +6,7 @@ import { getCssTokens, fillFitRule, FORBIDDEN_IMPORT_SPECIFIERS } from '@ggui-ai
 import { classifyUi, MODEL_REGISTRY, listContractGadgets, HOOK_NAME_RE, modelRefOfRoute, isGeneratorId, DANGEROUS_PATTERNS as DANGEROUS_PATTERNS$1, APP_GENERATION_PROFILE_BOUNDS, STDLIB_GADGETS_PACKAGE, resolveAppGadgets } from '@ggui-ai/protocol';
 import fs, { existsSync, mkdirSync, writeFileSync, unlinkSync, readFileSync, rm, createReadStream, createWriteStream, readdirSync, statSync } from 'fs';
 import { contentHash } from '@ggui-ai/protocol/content-hash';
-import ts7 from 'typescript';
+import ts4 from 'typescript';
 import path, { dirname, resolve, join, basename } from 'path';
 import { createRequire } from 'module';
 import { Linter } from 'eslint';
@@ -1935,53 +1935,53 @@ var init_validation = __esm({
   }
 });
 function extractWireCallSites(code) {
-  const sf = ts7.createSourceFile(
+  const sf = ts4.createSourceFile(
     "component.tsx",
     code,
-    ts7.ScriptTarget.Latest,
+    ts4.ScriptTarget.Latest,
     /*setParentNodes*/
     true,
-    ts7.ScriptKind.TSX
+    ts4.ScriptKind.TSX
   );
   const sites = [];
   function visit(node) {
-    if (ts7.isCallExpression(node)) {
+    if (ts4.isCallExpression(node)) {
       const callee = node.expression;
-      if (ts7.isIdentifier(callee)) {
+      if (ts4.isIdentifier(callee)) {
         const kind = HOOK_TO_KIND[callee.text];
         if (kind) {
           const firstArg = node.arguments[0];
-          if (firstArg && ts7.isStringLiteral(firstArg)) {
+          if (firstArg && ts4.isStringLiteral(firstArg)) {
             sites.push({ kind, name: firstArg.text });
           }
         }
       }
     }
-    ts7.forEachChild(node, visit);
+    ts4.forEachChild(node, visit);
   }
   visit(sf);
   return sites;
 }
 function extractWireImports(code) {
-  const sf = ts7.createSourceFile(
+  const sf = ts4.createSourceFile(
     "component.tsx",
     code,
-    ts7.ScriptTarget.Latest,
+    ts4.ScriptTarget.Latest,
     /*setParentNodes*/
     true,
-    ts7.ScriptKind.TSX
+    ts4.ScriptKind.TSX
   );
   const imported = /* @__PURE__ */ new Set();
   for (const stmt of sf.statements) {
-    if (!ts7.isImportDeclaration(stmt)) continue;
+    if (!ts4.isImportDeclaration(stmt)) continue;
     const moduleSpecifier = stmt.moduleSpecifier;
-    if (!ts7.isStringLiteral(moduleSpecifier)) continue;
+    if (!ts4.isStringLiteral(moduleSpecifier)) continue;
     if (moduleSpecifier.text !== "@ggui-ai/wire") continue;
     const clause = stmt.importClause;
     if (!clause) continue;
     const bindings = clause.namedBindings;
     if (!bindings) continue;
-    if (!ts7.isNamedImports(bindings)) continue;
+    if (!ts4.isNamedImports(bindings)) continue;
     for (const el of bindings.elements) {
       imported.add(el.name.text);
     }
@@ -2133,11 +2133,11 @@ var init_json_schema_ts = __esm({
   }
 });
 function extractPropsInterface(code) {
-  const sf = ts7.createSourceFile("component.tsx", code, ts7.ScriptTarget.Latest, true, ts7.ScriptKind.TSX);
+  const sf = ts4.createSourceFile("component.tsx", code, ts4.ScriptTarget.Latest, true, ts4.ScriptKind.TSX);
   const props = [];
   function visitMembers(members) {
     for (const member of members) {
-      if (ts7.isPropertySignature(member) && member.name) {
+      if (ts4.isPropertySignature(member) && member.name) {
         const name = member.name.getText(sf);
         const type = member.type ? member.type.getText(sf) : "unknown";
         const optional = !!member.questionToken;
@@ -2146,17 +2146,17 @@ function extractPropsInterface(code) {
     }
   }
   function visit(node) {
-    if (ts7.isInterfaceDeclaration(node) && node.name.text === "Props") {
+    if (ts4.isInterfaceDeclaration(node) && node.name.text === "Props") {
       visitMembers(node.members);
       return;
     }
-    if (ts7.isTypeAliasDeclaration(node) && node.name.text === "Props") {
-      if (ts7.isTypeLiteralNode(node.type)) {
+    if (ts4.isTypeAliasDeclaration(node) && node.name.text === "Props") {
+      if (ts4.isTypeLiteralNode(node.type)) {
         visitMembers(node.type.members);
       }
       return;
     }
-    ts7.forEachChild(node, visit);
+    ts4.forEachChild(node, visit);
   }
   visit(sf);
   return props.length > 0 ? props : null;
@@ -2369,12 +2369,12 @@ function generateFix(code, message, sourceLine) {
   }
 }
 function parseAndStore(vfs, virtualPath, content) {
-  const sourceFile = ts7.createSourceFile(
+  const sourceFile = ts4.createSourceFile(
     virtualPath,
     content,
-    ts7.ScriptTarget.ES2020,
+    ts4.ScriptTarget.ES2020,
     true,
-    virtualPath.endsWith(".tsx") ? ts7.ScriptKind.TSX : ts7.ScriptKind.TS
+    virtualPath.endsWith(".tsx") ? ts4.ScriptKind.TSX : ts4.ScriptKind.TS
   );
   vfs.set(virtualPath, { content, sourceFile });
 }
@@ -2516,12 +2516,12 @@ function resolveModuleName(vfs, name, containingFile) {
   return { resolvedModule: void 0 };
 }
 function createVfsHost(vfs, componentCode) {
-  const componentFile = ts7.createSourceFile(
+  const componentFile = ts4.createSourceFile(
     "Component.tsx",
     componentCode,
-    ts7.ScriptTarget.ES2020,
+    ts4.ScriptTarget.ES2020,
     true,
-    ts7.ScriptKind.TSX
+    ts4.ScriptKind.TSX
   );
   const host = {
     getSourceFile(fileName) {
@@ -2576,7 +2576,7 @@ function resolved(resolvedFileName) {
     resolvedModule: {
       resolvedFileName,
       isExternalLibraryImport: true,
-      extension: ts7.Extension.Dts
+      extension: ts4.Extension.Dts
     }
   };
 }
@@ -2598,18 +2598,18 @@ async function typecheck(code, dtsMap) {
   const prefixedCode = SYNTHETIC_PREFIX + code;
   const lineOffset = SYNTHETIC_PREFIX.split("\n").length - 1;
   const host = createVfsHost(effectiveVfs, prefixedCode);
-  const program = ts7.createProgram(["Component.tsx"], COMPILER_OPTIONS, host);
-  const diagnostics = ts7.getPreEmitDiagnostics(program);
+  const program = ts4.createProgram(["Component.tsx"], COMPILER_OPTIONS, host);
+  const diagnostics = ts4.getPreEmitDiagnostics(program);
   const errors = [];
   const warnings = [];
   for (const diag of diagnostics) {
     if (diag.file && diag.file.fileName !== "Component.tsx") continue;
     if (!diag.file) continue;
-    const diagLine = ts7.getLineAndCharacterOfPosition(diag.file, diag.start ?? 0).line;
+    const diagLine = ts4.getLineAndCharacterOfPosition(diag.file, diag.start ?? 0).line;
     if (diagLine < lineOffset) continue;
-    const rawLine = diag.file ? ts7.getLineAndCharacterOfPosition(diag.file, diag.start ?? 0).line + 1 : 0;
+    const rawLine = diag.file ? ts4.getLineAndCharacterOfPosition(diag.file, diag.start ?? 0).line + 1 : 0;
     const line = Math.max(1, rawLine - lineOffset);
-    const message = ts7.flattenDiagnosticMessageText(diag.messageText, "\n");
+    const message = ts4.flattenDiagnosticMessageText(diag.messageText, "\n");
     const code_ = diag.code;
     const sourceLines = diag.file.text.split("\n");
     const sourceLine = rawLine >= 1 && rawLine <= sourceLines.length ? sourceLines[rawLine - 1]?.trim() ?? "" : "";
@@ -2656,8 +2656,8 @@ var init_type_checker = __esm({
     ]);
     vfsCache = null;
     COMPILER_OPTIONS = {
-      target: ts7.ScriptTarget.ES2020,
-      module: ts7.ModuleKind.ESNext,
+      target: ts4.ScriptTarget.ES2020,
+      module: ts4.ModuleKind.ESNext,
       // Classic React JSX mode. The synthetic prefix (SYNTHETIC_PREFIX)
       // supplies `import React from 'react'` plus a `declare global` JSX
       // namespace shim: `@types/react` v19 removed the *global* `JSX`
@@ -2665,8 +2665,8 @@ var init_type_checker = __esm({
       // for `JSX.IntrinsicElements` and the `key`/`ref` carve-out. Without
       // the shim, `<div>` degrades to `any` and every typed component
       // falsely rejects the intrinsic `key` prop.
-      jsx: ts7.JsxEmit.React,
-      moduleResolution: ts7.ModuleResolutionKind.Bundler,
+      jsx: ts4.JsxEmit.React,
+      moduleResolution: ts4.ModuleResolutionKind.Bundler,
       strict: false,
       strictNullChecks: true,
       // Catch undefined.foo() errors that cause runtime crashes
@@ -3166,17 +3166,17 @@ Only list ACTUAL composition problems. Use 'fail' only for a fundamentally incoh
   }
 });
 function stripComments(code) {
-  const scanner = ts7.createScanner(
-    ts7.ScriptTarget.Latest,
+  const scanner = ts4.createScanner(
+    ts4.ScriptTarget.Latest,
     /* skipTrivia */
     false,
-    ts7.LanguageVariant.JSX,
+    ts4.LanguageVariant.JSX,
     code
   );
   let out = "";
-  for (let token = scanner.scan(); token !== ts7.SyntaxKind.EndOfFileToken; token = scanner.scan()) {
+  for (let token = scanner.scan(); token !== ts4.SyntaxKind.EndOfFileToken; token = scanner.scan()) {
     const text = scanner.getTokenText();
-    out += token === ts7.SyntaxKind.SingleLineCommentTrivia || token === ts7.SyntaxKind.MultiLineCommentTrivia ? text.replace(/[^\n]/g, " ") : text;
+    out += token === ts4.SyntaxKind.SingleLineCommentTrivia || token === ts4.SyntaxKind.MultiLineCommentTrivia ? text.replace(/[^\n]/g, " ") : text;
   }
   return out;
 }
@@ -3199,20 +3199,20 @@ function detectCertainDoubleWiredActions(sourceCode, actionBindings, designMode
     "Link"
   ]);
   const HANDLER_ATTRS = ["onClick", "onChange", "onPress", "onSelect"];
-  const sf = ts7.createSourceFile(
+  const sf = ts4.createSourceFile(
     "source.tsx",
     sourceCode,
-    ts7.ScriptTarget.Latest,
+    ts4.ScriptTarget.Latest,
     /* setParentNodes */
     true,
-    ts7.ScriptKind.TSX
+    ts4.ScriptKind.TSX
   );
   function tagNameText(node) {
-    return ts7.isIdentifier(node.tagName) ? node.tagName.text : void 0;
+    return ts4.isIdentifier(node.tagName) ? node.tagName.text : void 0;
   }
   function attrExpression(node, attrName) {
     for (const attr of node.attributes.properties) {
-      if (ts7.isJsxAttribute(attr) && ts7.isIdentifier(attr.name) && attr.name.text === attrName && attr.initializer !== void 0 && ts7.isJsxExpression(attr.initializer)) {
+      if (ts4.isJsxAttribute(attr) && ts4.isIdentifier(attr.name) && attr.name.text === attrName && attr.initializer !== void 0 && ts4.isJsxExpression(attr.initializer)) {
         return attr.initializer.expression;
       }
     }
@@ -3224,19 +3224,19 @@ function detectCertainDoubleWiredActions(sourceCode, actionBindings, designMode
     if (anyElementIsInteractive) return true;
     if (!TRAIT_HOST_TAGS.has(tag)) return false;
     const asExpr = attrExpression(node, "as");
-    return asExpr !== void 0 && ts7.isIdentifier(asExpr) && TRAITS_THAT_FIRE.has(asExpr.text);
+    return asExpr !== void 0 && ts4.isIdentifier(asExpr) && TRAITS_THAT_FIRE.has(asExpr.text);
   }
   function extractCalleeName(expr) {
     if (expr === void 0) return void 0;
-    if (ts7.isIdentifier(expr)) return expr.text;
-    if (ts7.isArrowFunction(expr) || ts7.isFunctionExpression(expr)) {
+    if (ts4.isIdentifier(expr)) return expr.text;
+    if (ts4.isArrowFunction(expr) || ts4.isFunctionExpression(expr)) {
       const body = expr.body;
-      if (ts7.isCallExpression(body) && ts7.isIdentifier(body.expression)) {
+      if (ts4.isCallExpression(body) && ts4.isIdentifier(body.expression)) {
         return body.expression.text;
       }
-      if (ts7.isBlock(body)) {
+      if (ts4.isBlock(body)) {
         for (const stmt of body.statements) {
-          if (ts7.isExpressionStatement(stmt) && ts7.isCallExpression(stmt.expression) && ts7.isIdentifier(stmt.expression.expression)) {
+          if (ts4.isExpressionStatement(stmt) && ts4.isCallExpression(stmt.expression) && ts4.isIdentifier(stmt.expression.expression)) {
             return stmt.expression.expression.text;
           }
         }
@@ -3248,7 +3248,7 @@ function detectCertainDoubleWiredActions(sourceCode, actionBindings, designMode
     let found;
     function walk(node) {
       if (found !== void 0) return;
-      const opening = ts7.isJsxElement(node) ? node.openingElement : ts7.isJsxSelfClosingElement(node) ? node : void 0;
+      const opening = ts4.isJsxElement(node) ? node.openingElement : ts4.isJsxSelfClosingElement(node) ? node : void 0;
       if (opening !== void 0) {
         const tag = tagNameText(opening);
         if (tag !== void 0 && (anyElementIsInteractive || INTERACTIVE_DESCENDANTS.has(tag))) {
@@ -3264,13 +3264,13 @@ function detectCertainDoubleWiredActions(sourceCode, actionBindings, designMode
           }
         }
       }
-      ts7.forEachChild(node, walk);
+      ts4.forEachChild(node, walk);
     }
-    ts7.forEachChild(outer, walk);
+    ts4.forEachChild(outer, walk);
     return found;
   }
   function visit(node) {
-    if (ts7.isJsxElement(node) && isTraitHostWithFiringAs(node.openingElement)) {
+    if (ts4.isJsxElement(node) && isTraitHostWithFiringAs(node.openingElement)) {
       const outerCallee = extractCalleeName(attrExpression(node.openingElement, "onClick")) ?? extractCalleeName(attrExpression(node.openingElement, "onPress"));
       if (outerCallee !== void 0 && bindings.has(outerCallee)) {
         const match = findMatchingInteractiveDescendant(node, outerCallee);
@@ -3291,7 +3291,7 @@ function detectCertainDoubleWiredActions(sourceCode, actionBindings, designMode
         }
       }
     }
-    ts7.forEachChild(node, visit);
+    ts4.forEachChild(node, visit);
   }
   visit(sf);
   return issues;
@@ -3310,6 +3310,63 @@ function isGadgetExportImported(source, pkg, exportName) {
   }
   return false;
 }
+function detectComponentNeverReturns(sourceCode) {
+  const sf = ts4.createSourceFile(
+    "source.tsx",
+    sourceCode,
+    ts4.ScriptTarget.Latest,
+    /* setParentNodes */
+    true,
+    ts4.ScriptKind.TSX
+  );
+  const isFunctionLike = (n) => ts4.isFunctionDeclaration(n) || ts4.isFunctionExpression(n) || ts4.isArrowFunction(n) || ts4.isMethodDeclaration(n) || ts4.isClassDeclaration(n) || ts4.isClassExpression(n);
+  function resolveTopLevel(name) {
+    for (const st of sf.statements) {
+      if (ts4.isFunctionDeclaration(st) && st.name?.text === name) return st;
+      if (ts4.isVariableStatement(st)) {
+        for (const decl of st.declarationList.declarations) {
+          if (ts4.isIdentifier(decl.name) && decl.name.text === name && decl.initializer !== void 0 && (ts4.isArrowFunction(decl.initializer) || ts4.isFunctionExpression(decl.initializer))) {
+            return decl.initializer;
+          }
+        }
+      }
+    }
+    return void 0;
+  }
+  let component;
+  for (const st of sf.statements) {
+    if (ts4.isFunctionDeclaration(st) && st.modifiers?.some((m) => m.kind === ts4.SyntaxKind.DefaultKeyword)) {
+      component = st;
+      break;
+    }
+    if (ts4.isExportAssignment(st) && st.isExportEquals !== true) {
+      const expr = st.expression;
+      if (ts4.isArrowFunction(expr) || ts4.isFunctionExpression(expr)) component = expr;
+      else if (ts4.isIdentifier(expr)) component = resolveTopLevel(expr.text);
+      break;
+    }
+  }
+  if (component === void 0) return null;
+  const body = component.body;
+  if (body === void 0 || !ts4.isBlock(body)) return null;
+  let returnsValue = false;
+  let jsxStatementLine;
+  const visit = (node) => {
+    if (returnsValue) return;
+    if (ts4.isReturnStatement(node)) {
+      if (node.expression !== void 0) returnsValue = true;
+      return;
+    }
+    if (jsxStatementLine === void 0 && ts4.isExpressionStatement(node) && (ts4.isJsxElement(node.expression) || ts4.isJsxFragment(node.expression) || ts4.isJsxSelfClosingElement(node.expression))) {
+      jsxStatementLine = sf.getLineAndCharacterOfPosition(node.getStart(sf)).line + 1;
+    }
+    node.forEachChild((child) => {
+      if (!isFunctionLike(child)) visit(child);
+    });
+  };
+  for (const st of body.statements) if (!isFunctionLike(st)) visit(st);
+  return returnsValue ? null : { jsxStatementLine };
+}
 async function runTier0Checks(sourceCode, contract, buildErrors, gadgetTypes, designMode = DEFAULT_DESIGN_MODE) {
   const issues = [];
   const lines = sourceCode.split("\n");
@@ -3729,6 +3786,19 @@ ${errorDetail}`,
       fix: "Add export default function Component(props: Props) { ... }"
     });
   }
+  const neverReturns = detectComponentNeverReturns(sourceCode);
+  if (neverReturns !== null) {
+    issues.push({
+      tier: 0,
+      result: "fail",
+      category: "compile",
+      subcategory: "renders-nothing",
+      severity: "critical",
+      description: neverReturns.jsxStatementLine === void 0 ? "The component never returns its tree \u2014 it renders a blank frame" : `The component never returns its tree: the JSX at line ${neverReturns.jsxStatementLine} sits at statement position, so it is built and thrown away and the frame renders blank`,
+      fix: "Wrap the tree in the return the boilerplate gave you: `return (` before the root element and `);` after it.",
+      ...neverReturns.jsxStatementLine === void 0 ? {} : { line: neverReturns.jsxStatementLine }
+    });
+  }
   if (contract) {
     try {
       const contractIssues = validateAllContracts(sourceCode, contract);
@@ -11987,18 +12057,18 @@ ${context}
 }
 var LABELED_COMPONENTS = /* @__PURE__ */ new Set(["Input", "TextArea", "Select"]);
 function checkReactRules(code) {
-  const sf = ts7.createSourceFile("component.tsx", code, ts7.ScriptTarget.Latest, true, ts7.ScriptKind.TSX);
+  const sf = ts4.createSourceFile("component.tsx", code, ts4.ScriptTarget.Latest, true, ts4.ScriptKind.TSX);
   const issues = [];
   function visit(node) {
-    if (ts7.isJsxSelfClosingElement(node) || ts7.isJsxOpeningElement(node)) {
+    if (ts4.isJsxSelfClosingElement(node) || ts4.isJsxOpeningElement(node)) {
       const tagName = node.tagName.getText(sf);
       if (LABELED_COMPONENTS.has(tagName)) {
         const propNames = /* @__PURE__ */ new Set();
         let hasSpread = false;
         for (const attr of node.attributes.properties) {
-          if (ts7.isJsxAttribute(attr)) {
+          if (ts4.isJsxAttribute(attr)) {
             propNames.add(attr.name.getText(sf));
-          } else if (ts7.isJsxSpreadAttribute(attr)) {
+          } else if (ts4.isJsxSpreadAttribute(attr)) {
             hasSpread = true;
           }
         }
@@ -12013,7 +12083,7 @@ function checkReactRules(code) {
         }
       }
     }
-    ts7.forEachChild(node, visit);
+    ts4.forEachChild(node, visit);
   }
   visit(sf);
   return issues;
@@ -13182,6 +13252,50 @@ function runViewportSized(input) {
     )
   ];
 }
+var TERMINAL_WORDS = /* @__PURE__ */ new Set([
+  "submit",
+  "confirm",
+  "approve",
+  "schedule",
+  "reserve",
+  "book",
+  "pay",
+  "checkout",
+  "purchase",
+  "order"
+]);
+var TERMINAL_LABEL_RX = /\b(submit|confirm|approve|schedule|reserve|book|pay|checkout|purchase|place\s+order)\b/i;
+var GUARD_RX = /\b(disabled|aria-disabled)\s*=/;
+function nameWords(name) {
+  return name.split(/(?=[A-Z])|[_\-\s]+/).map((w) => w.toLowerCase()).filter((w) => w.length > 0);
+}
+function findUnguardedTerminalControls(sourceCode) {
+  if (GUARD_RX.test(sourceCode)) return [];
+  const names = /* @__PURE__ */ new Set();
+  for (const m of sourceCode.matchAll(/useAction(?:<[^>]*>)?\(\s*['"`]([^'"`]+)['"`]/g)) {
+    const name = m[1] ?? "";
+    if (nameWords(name).some((w) => TERMINAL_WORDS.has(w))) names.add(name);
+  }
+  for (const m of sourceCode.matchAll(/>([^<>{}]{1,60})<\/Button>/g)) {
+    const label = (m[1] ?? "").replace(/\s+/g, " ").trim();
+    if (label.length > 0 && TERMINAL_LABEL_RX.test(label)) names.add(label.slice(0, 40));
+  }
+  return [...names];
+}
+function runTerminalActionUnguarded(input) {
+  if (input.compiledCode === null) return [];
+  const found = findUnguardedTerminalControls(input.sourceCode);
+  if (found.length === 0) return [];
+  const list = found.map((t) => `"${t}"`).join(", ");
+  return [
+    mkIssue(
+      "universal.terminal_action_unguarded",
+      `${list} reads as an action the user means once, and nothing in this component disables the control after it fires \u2014 a double-click sends it twice.`,
+      'Hold the fired state (`const [submitted, setSubmitted] = useState(false)`), set it in the handler, and pass `disabled={submitted}` to that control with a word that says so ("Submitted"). If the action IS meant to repeat \u2014 sending a message, adding an item \u2014 leave it armed and ignore this.',
+      "warn"
+    )
+  ];
+}
 var UNIVERSAL_CHECKS = [
   {
     id: "universal.icon_name_known",
@@ -13201,6 +13315,12 @@ var UNIVERSAL_CHECKS = [
     values: ALL_RENDER_VALUES,
     run: runViewportSized
   },
+  {
+    id: "universal.terminal_action_unguarded",
+    axis: "render",
+    values: ALL_RENDER_VALUES,
+    run: runTerminalActionUnguarded
+  },
   {
     id: "universal.accent_text_ink",
     axis: "render",
@@ -15066,7 +15186,8 @@ type ${typeName} = ${tsType};`
     );
     const callSig = tsType === "void" ? "() => void \u2014 fire and forget" : `(data: ${tsType}) => void`;
     const toolHint = tool ? ` \u2192 nextStep: ${tool}` : "";
-    actionHookCalls.push(`  const ${key} = useAction<${typeName}>('${key}'); // ${callSig}${toolHint}`);
+    const onceHint = " \u2014 if this is meant ONCE, disable its control after it fires";
+    actionHookCalls.push(`  const ${key} = useAction<${typeName}>('${key}'); // ${callSig}${toolHint}${onceHint}`);
   }
   const streamChannels = contract?.streamSpec ?? {};
   const streamChannelEntries = Object.entries(streamChannels);
@@ -15412,12 +15533,33 @@ Rules:
 3. Default values come from the current request \u2014 so the component renders correctly standalone.
 4. Copy comes from the props. NEVER invent display text the contract does not carry \u2014 no eyebrow / kicker / overline (a \`<Text caps>\` label), no helper line, no status text, no tagline. A caps label exists only when a prop supplies its text (\`<Text caps>{props.section}</Text>\`); a heading's fallback is the request's own words, never a slogan of your own. Text the agent cannot change is chatter on every render.
 5. Props interface must be typed and exported.`;
-var FRAME_SIZING = `## Sizing \u2014 the frame owns the height
+var TERMINAL_ACTIONS = `## Actions the user means once
+
+A second press is a mistake only when it would make a SECOND THING HAPPEN IN THE WORLD \u2014 a second booking, a second charge, a second order, a second application sent. If pressing again would only write the SAME STATE AGAIN \u2014 saving, updating, renaming, setting a preference, toggling \u2014 nothing is duplicated and the control stays armed.
+
+Guard a control only where you have evidence, not a feeling about the verb: the request itself names a one-time commitment \u2014 "submit the application", "place the order", "confirm the booking".
+
+**When in doubt, leave it armed.** A control the user cannot press a second time has lost them something that worked \u2014 save, edit, save again is ordinary. A control left armed is only what every interface does by default.
+
+When you do guard one:
+- Hold a small piece of state for it and set it in the handler: \`const [submitted, setSubmitted] = useState(false)\`.
+- \`disabled={submitted}\` on the control that fires it, and say so in the label or beside it ("Submitted", "Request sent") \u2014 a control that is disabled without explanation reads as broken.
+- A card re-rendered with new props starts fresh; the state above lives with the component, not with the request.
+
+Nothing in the wire DECLARES one-shot-ness yet, which is why the test is what a second press would DO \u2014 not how final the word sounds.`;
+var FRAME_SIZING = `## Sizing \u2014 the frame owns the height and the width
 
 The host sizes the iframe; the component never sizes itself to the viewport. NEVER write \`100vh\` / \`100dvh\` / \`100svh\` (or an \`h-screen\` / \`min-h-screen\` class) as a height on any element:
 - An inline card takes its natural height. A content-sized frame is measured FROM the content, so a \`100vh\` root can never shrink and grows the frame on every re-measure.
 - Under fullscreen the frame already stretches your root to its full height. Centre inside it with flex (\`display: flex; flex-direction: column; justify-content: center\`), never with a viewport height.
-- To fill a parent that has a height use \`height: 100%\` or \`flex: 1\`; a viewport unit is only ever a \`max-height\` cap on a scroll region.`;
+- To fill a parent that has a height use \`height: 100%\` or \`flex: 1\`; a viewport unit is only ever a \`max-height\` cap on a scroll region.
+
+The width works the same way, and the mistake is the mirror image: **your outermost element FILLS the frame; a width cap belongs INSIDE it, on the column that holds text.**
+
+- Never put \`maxWidth\` (or a \`max-w-*\` class) on the element you return at the top. On a wide canvas that turns your card into a narrow strip with the frame's ground on either side of it, and on a narrow one it does nothing \u2014 the same composition reading differently at two sizes.
+- DO cap the reading measure inside: a column of prose is easiest to read at 60\u201370 characters, so wrap the TEXT in a \`<Container maxWidth="sm">\` (or your own \`max-width\`) and leave the root filling. A hero band, a toolbar, a table or an image then still uses the whole width, which is what makes a wide card look composed rather than padded.
+- Centre that inner column with the container's own centring, not by shrinking the root.
+- **They are two different elements.** Even when the whole card is one column of text, the root still fills and the column sits INSIDE it \u2014 \`<Box padding="lg"><Container maxWidth="sm">\u2026</Container></Box>\`, never a root that is itself the container. A centred card is centring inside a filled frame, not a shrunken frame.`;
 var COMPONENT_STRUCTURE = `## Component Structure
 
 Keep JSX nesting depth to 3\u20135 levels. When deeper, extract repeated/complex sections into helper components \u2014 named functions defined above the main Component in the same file. Helpers take data + callbacks via props; they don't own state.
@@ -15629,6 +15771,7 @@ ${axisSection}
     CONTRACT_SURFACE,
     DEFENSIVE_CODING,
     GESTURE_ROUTING,
+    TERMINAL_ACTIONS,
     FREE_GESTURE_SURFACE,
     ANTI_PATTERNS,
     CROSS_REFERENCE_RULES,
@@ -15659,11 +15802,11 @@ ${inputs.primitivesDoc}`
 }
 var VIRTUAL_DTS_PATH = "/__gadget__.d.ts";
 var EXTRACTOR_COMPILER_OPTIONS = {
-  target: ts7.ScriptTarget.ESNext,
-  module: ts7.ModuleKind.ESNext,
-  moduleResolution: ts7.ModuleResolutionKind.Bundler,
+  target: ts4.ScriptTarget.ESNext,
+  module: ts4.ModuleKind.ESNext,
+  moduleResolution: ts4.ModuleResolutionKind.Bundler,
   allowJs: false,
-  jsx: ts7.JsxEmit.ReactJSX,
+  jsx: ts4.JsxEmit.ReactJSX,
   noEmit: true,
   esModuleInterop: true,
   // skipLibCheck so an unresolvable wrapper-internal import (the
@@ -15675,31 +15818,31 @@ var EXTRACTOR_COMPILER_OPTIONS = {
 var callSignatureCache = /* @__PURE__ */ new Map();
 var componentPropsCache = /* @__PURE__ */ new Map();
 function buildExtractorContext(dtsContent, names) {
-  const sourceFile = ts7.createSourceFile(
+  const sourceFile = ts4.createSourceFile(
     VIRTUAL_DTS_PATH,
     dtsContent,
-    ts7.ScriptTarget.ESNext,
+    ts4.ScriptTarget.ESNext,
     /* setParentNodes */
     true,
-    ts7.ScriptKind.TS
+    ts4.ScriptKind.TS
   );
-  const defaultLibName = ts7.getDefaultLibFileName(EXTRACTOR_COMPILER_OPTIONS);
+  const defaultLibName = ts4.getDefaultLibFileName(EXTRACTOR_COMPILER_OPTIONS);
   const host = {
     getSourceFile(fileName) {
       if (fileName === VIRTUAL_DTS_PATH) return sourceFile;
-      const libContent = ts7.sys.readFile(
-        ts7.getDefaultLibFilePath(EXTRACTOR_COMPILER_OPTIONS).replace(
+      const libContent = ts4.sys.readFile(
+        ts4.getDefaultLibFilePath(EXTRACTOR_COMPILER_OPTIONS).replace(
           /[^/\\]+$/,
           fileName
         )
       );
       if (libContent !== void 0) {
-        return ts7.createSourceFile(
+        return ts4.createSourceFile(
           fileName,
           libContent,
-          ts7.ScriptTarget.ESNext,
+          ts4.ScriptTarget.ESNext,
           true,
-          ts7.ScriptKind.TS
+          ts4.ScriptKind.TS
         );
       }
       return void 0;
@@ -15723,14 +15866,14 @@ function buildExtractorContext(dtsContent, names) {
     },
     fileExists(f) {
       if (f === VIRTUAL_DTS_PATH) return true;
-      return ts7.sys.fileExists(f);
+      return ts4.sys.fileExists(f);
     },
     readFile(f) {
       if (f === VIRTUAL_DTS_PATH) return dtsContent;
-      return ts7.sys.readFile(f);
+      return ts4.sys.readFile(f);
     }
   };
-  const program = ts7.createProgram(
+  const program = ts4.createProgram(
     [VIRTUAL_DTS_PATH],
     EXTRACTOR_COMPILER_OPTIONS,
     host
@@ -15748,9 +15891,9 @@ function buildExtractorContext(dtsContent, names) {
   }
   const MAX_DEPTH2 = 4;
   function renderType(t, depth) {
-    const plain = () => checker.typeToString(t, void 0, ts7.TypeFormatFlags.NoTruncation);
+    const plain = () => checker.typeToString(t, void 0, ts4.TypeFormatFlags.NoTruncation);
     if (depth >= MAX_DEPTH2) return plain();
-    if ((t.getFlags() & ts7.TypeFlags.Boolean) !== 0) return "boolean";
+    if ((t.getFlags() & ts4.TypeFlags.Boolean) !== 0) return "boolean";
     if (t.isUnion()) {
       return t.types.map((member) => renderType(member, depth)).join(" | ");
     }
@@ -15764,13 +15907,13 @@ function buildExtractorContext(dtsContent, names) {
       const params = cs.getParameters().map((p) => {
         const decl = p.valueDeclaration ?? p.declarations?.[0];
         const pType = decl !== void 0 ? checker.getTypeOfSymbolAtLocation(p, decl) : checker.getDeclaredTypeOfSymbol(p);
-        const optional = decl !== void 0 && ts7.isParameter(decl) && (decl.questionToken !== void 0 || decl.initializer !== void 0);
+        const optional = decl !== void 0 && ts4.isParameter(decl) && (decl.questionToken !== void 0 || decl.initializer !== void 0);
         return `${p.getName()}${optional ? "?" : ""}: ${renderType(pType, depth + 1)}`;
       }).join(", ");
       const ret = renderType(cs.getReturnType(), depth + 1);
       return `(${params}) => ${ret}`;
     }
-    const isObject = (t.getFlags() & ts7.TypeFlags.Object) !== 0;
+    const isObject = (t.getFlags() & ts4.TypeFlags.Object) !== 0;
     const isArrayOrTuple = checker.isArrayType(t) || checker.isTupleType(t);
     const typeArgs = t.typeArguments;
     if (symbol !== void 0 && isObject && !isArrayOrTuple && !isWrapperLocal(symbol) && typeArgs !== void 0 && typeArgs.length > 0) {
@@ -15783,7 +15926,7 @@ function buildExtractorContext(dtsContent, names) {
         const body = props.map((p) => {
           const decl = p.valueDeclaration ?? p.declarations?.[0];
           const pType = decl !== void 0 ? checker.getTypeOfSymbolAtLocation(p, decl) : checker.getDeclaredTypeOfSymbol(p);
-          const optional = (p.getFlags() & ts7.SymbolFlags.Optional) !== 0;
+          const optional = (p.getFlags() & ts4.SymbolFlags.Optional) !== 0;
           return `${p.getName()}${optional ? "?" : ""}: ${renderType(pType, depth + 1)}`;
         }).join("; ");
         return `{ ${body} }`;
@@ -15798,7 +15941,7 @@ function buildExtractorContext(dtsContent, names) {
     const name = symbol.getName();
     if (!requested.has(name)) continue;
     if (signaturesByName.has(name)) continue;
-    const resolved2 = (symbol.flags & ts7.SymbolFlags.Alias) !== 0 ? checker.getAliasedSymbol(symbol) : symbol;
+    const resolved2 = (symbol.flags & ts4.SymbolFlags.Alias) !== 0 ? checker.getAliasedSymbol(symbol) : symbol;
     const declarations = resolved2.getDeclarations();
     if (declarations === void 0 || declarations.length === 0) continue;
     const declaration = declarations[0];
@@ -15813,7 +15956,7 @@ function printCallSignature(sig, ctx) {
   const params = sig.getParameters().map((p) => {
     const decl = p.valueDeclaration ?? p.declarations?.[0];
     const pType = decl !== void 0 ? ctx.checker.getTypeOfSymbolAtLocation(p, decl) : ctx.checker.getDeclaredTypeOfSymbol(p);
-    const optional = decl !== void 0 && ts7.isParameter(decl) && (decl.questionToken !== void 0 || decl.initializer !== void 0);
+    const optional = decl !== void 0 && ts4.isParameter(decl) && (decl.questionToken !== void 0 || decl.initializer !== void 0);
     return `${p.getName()}${optional ? "?" : ""}: ${ctx.renderType(pType, 0)}`;
   }).join(", ");
   const ret = ctx.renderType(sig.getReturnType(), 0);
@@ -16027,6 +16170,7 @@ ${axisSection}
     CONTRACT_SURFACE,
     DEFENSIVE_CODING,
     GESTURE_ROUTING,
+    TERMINAL_ACTIONS,
     INTERACTIVE_TRAITS,
     ANTI_PATTERNS,
     CROSS_REFERENCE_RULES,
@@ -17085,7 +17229,7 @@ var HOST_CLICK_TAGS = /* @__PURE__ */ new Set(["button", "a", "div", "span", "li
 var HOST_CHANGE_TAGS = /* @__PURE__ */ new Set(["select", "input", "textarea"]);
 function findWiring(input) {
   const { sourceCode, hookName, hookArg } = input;
-  const sf = ts7.createSourceFile("Component.tsx", sourceCode, ts7.ScriptTarget.Latest, true, ts7.ScriptKind.TSX);
+  const sf = ts4.createSourceFile("Component.tsx", sourceCode, ts4.ScriptTarget.Latest, true, ts4.ScriptKind.TSX);
   const hookBindings = findHookBindings(sf, hookName, hookArg);
   if (hookBindings.length === 0) {
     return {
@@ -17108,7 +17252,7 @@ function findWiring(input) {
   const customPropElements = [];
   const submitButton = { found: false };
   function visit(node) {
-    if (ts7.isJsxAttribute(node) && node.initializer) {
+    if (ts4.isJsxAttribute(node) && node.initializer) {
       const attrName = node.name.getText(sf);
       const initRefs = findReferencedNames(node.initializer, callableNames);
       if (initRefs.size > 0) {
@@ -17146,19 +17290,19 @@ function findWiring(input) {
         }
       }
     }
-    if (ts7.isJsxOpeningLikeElement(node)) {
+    if (ts4.isJsxOpeningLikeElement(node)) {
       const tag = getTagName(node);
       if ((tag ?? "").toLowerCase() === "button") {
         const typeAttr = node.attributes.properties.find(
-          (p) => ts7.isJsxAttribute(p) && p.name.getText(sf) === "type"
+          (p) => ts4.isJsxAttribute(p) && p.name.getText(sf) === "type"
         );
-        if (typeAttr && ts7.isJsxAttribute(typeAttr) && typeAttr.initializer) {
+        if (typeAttr && ts4.isJsxAttribute(typeAttr) && typeAttr.initializer) {
           const v = typeAttr.initializer.getText(sf).toLowerCase();
           if (v.includes("submit")) submitButton.found = true;
         }
       }
     }
-    ts7.forEachChild(node, visit);
+    ts4.forEachChild(node, visit);
   }
   visit(sf);
   if (sawClickOnHost) {
@@ -17195,32 +17339,32 @@ function findWiring(input) {
 function findHookBindings(sf, hookName, hookArg) {
   const bindings = [];
   function visit(node) {
-    if (ts7.isVariableDeclaration(node) && node.initializer && ts7.isCallExpression(node.initializer)) {
+    if (ts4.isVariableDeclaration(node) && node.initializer && ts4.isCallExpression(node.initializer)) {
       const call = node.initializer;
       const callee = call.expression.getText(sf);
       if (callee !== hookName) {
-        ts7.forEachChild(node, visit);
+        ts4.forEachChild(node, visit);
         return;
       }
       const firstArg = call.arguments[0];
-      if (!firstArg || !ts7.isStringLiteral(firstArg)) {
-        ts7.forEachChild(node, visit);
+      if (!firstArg || !ts4.isStringLiteral(firstArg)) {
+        ts4.forEachChild(node, visit);
         return;
       }
       if (firstArg.text !== hookArg) {
-        ts7.forEachChild(node, visit);
+        ts4.forEachChild(node, visit);
         return;
       }
-      if (ts7.isIdentifier(node.name)) {
+      if (ts4.isIdentifier(node.name)) {
         bindings.push(node.name.text);
-      } else if (ts7.isObjectBindingPattern(node.name)) {
+      } else if (ts4.isObjectBindingPattern(node.name)) {
         for (const elem of node.name.elements) {
           const target = elem.name;
-          if (ts7.isIdentifier(target)) bindings.push(target.text);
+          if (ts4.isIdentifier(target)) bindings.push(target.text);
         }
       }
     }
-    ts7.forEachChild(node, visit);
+    ts4.forEachChild(node, visit);
   }
   visit(sf);
   return bindings;
@@ -17228,24 +17372,24 @@ function findHookBindings(sf, hookName, hookArg) {
 function expandAliases(sf, bindings) {
   const all = new Set(bindings);
   function visit(node) {
-    if (ts7.isVariableDeclaration(node) && node.initializer && ts7.isIdentifier(node.name)) {
+    if (ts4.isVariableDeclaration(node) && node.initializer && ts4.isIdentifier(node.name)) {
       const newName = node.name.text;
       const init = node.initializer;
-      if (ts7.isIdentifier(init) && all.has(init.text)) {
+      if (ts4.isIdentifier(init) && all.has(init.text)) {
         all.add(newName);
       }
-      if (ts7.isArrowFunction(init) || ts7.isFunctionExpression(init)) {
+      if (ts4.isArrowFunction(init) || ts4.isFunctionExpression(init)) {
         if (bodyReferences(init.body, all)) {
           all.add(newName);
         }
       }
-      if (ts7.isCallExpression(init)) {
+      if (ts4.isCallExpression(init)) {
         if (bodyReferences(init, all)) {
           all.add(newName);
         }
       }
     }
-    ts7.forEachChild(node, visit);
+    ts4.forEachChild(node, visit);
   }
   visit(sf);
   return all;
@@ -17254,11 +17398,11 @@ function bodyReferences(body, names) {
   let found = false;
   function walk(n) {
     if (found) return;
-    if (ts7.isIdentifier(n) && names.has(n.text)) {
+    if (ts4.isIdentifier(n) && names.has(n.text)) {
       found = true;
       return;
     }
-    ts7.forEachChild(n, walk);
+    ts4.forEachChild(n, walk);
   }
   walk(body);
   return found;
@@ -17266,16 +17410,16 @@ function bodyReferences(body, names) {
 function findReferencedNames(node, names) {
   const found = /* @__PURE__ */ new Set();
   function walk(n) {
-    if (ts7.isIdentifier(n) && names.has(n.text)) {
+    if (ts4.isIdentifier(n) && names.has(n.text)) {
       found.add(n.text);
     }
-    ts7.forEachChild(n, walk);
+    ts4.forEachChild(n, walk);
   }
   walk(node);
   return found;
 }
 function getTagName(el) {
-  if (ts7.isJsxOpeningLikeElement(el)) {
+  if (ts4.isJsxOpeningLikeElement(el)) {
     return el.tagName.getText();
   }
   return null;
@@ -21019,6 +21163,10 @@ interface Props ${tsInterface}
       if (entry.nextStep) {
         line += `
     Next-step hint: agent intends to call \`${entry.nextStep}\``;
+      }
+      if (entry.confirm === true) {
+        line += `
+    Author flag: \`confirm\` \u2014 the author marked this action grave enough to confirm before it fires, so a second press is a mistake.`;
       }
       return line;
     }).join("\n");