@barefootjs/go-template 0.33.4 → 0.34.0

package/dist/adapter/index.js

@@ -28,7 +28,8 @@ import {
   dangerousInnerHtmlDiagnostic,
   collectLoopBoundNames as collectLoopBoundNames2,
   evaluateStaticLiteral as evaluateStaticLiteral3,
-  BindingScope
+  BindingScope,
+  buildImportAliasMap
 } from "@barefootjs/jsx";
 import { findInterpolationEnd } from "@barefootjs/jsx/scanner";
 import { BF_REGION, escapeHtml, resolveJsxChildrenProp } from "@barefootjs/shared";
@@ -303,6 +304,7 @@ class CompileState {
   componentName = "";
   errors = [];
   referencedDerivedConsts = new Set;
+  templateReadRootFields = new Set;
   templateVarCounter = 0;
   pendingChildrenDefines = [];
   propsObjectName = null;
@@ -887,9 +889,22 @@ function lowerTernaryTest(ctx, test) {
   const isBoolShape = test.kind === "binary" && BOOL_COMPARISON_OPS.has(test.op) || test.kind === "unary" && test.op === "!" || test.kind === "literal" && test.literalType === "boolean";
   return isBoolShape ? go : `(bf_truthy ${go})`;
 }
+function matchRegisteredCall(ctx, callee, args) {
+  for (const matcher of ctx.state.loweringMatchers) {
+    const node = matcher(callee, args);
+    if (node)
+      return node;
+  }
+  return null;
+}
+function lowerRegisteredCallNode(ctx, callee, args) {
+  if (ctx.state.loweringMatchers.length === 0)
+    return null;
+  const node = matchRegisteredCall(ctx, callee, args);
+  return node ? renderLoweringNode(ctx, node) : null;
+}
 function lowerRegisteredCall(ctx, jsExpr, preParsed) {
-  const matchers = ctx.state.loweringMatchers;
-  if (matchers.length === 0)
+  if (ctx.state.loweringMatchers.length === 0)
     return null;
   let call = preParsed?.kind === "call" ? preParsed : undefined;
   if (!call) {
@@ -900,15 +915,32 @@ function lowerRegisteredCall(ctx, jsExpr, preParsed) {
       return null;
     call = parsed;
   }
-  for (const matcher of matchers) {
-    const node = matcher(call.callee, call.args);
-    if (!node)
-      continue;
-    const rendered = renderLoweringNode(ctx, node);
-    if (rendered !== null)
-      return rendered;
+  return lowerRegisteredCallNode(ctx, call.callee, call.args);
+}
+function lowerRegisteredAttrCall(ctx, attrName, parsed) {
+  if (parsed.kind === "conditional") {
+    if (!ternaryHasQueryBranch(ctx, parsed.consequent, parsed.alternate))
+      return null;
+    const rendered2 = lowerTernary(ctx, parsed.test, parsed.consequent, parsed.alternate);
+    return `{{bf_attr ${JSON.stringify(attrName)} ${rendered2}}}`;
   }
-  return null;
+  if (parsed.kind !== "call")
+    return null;
+  const node = matchRegisteredCall(ctx, parsed.callee, parsed.args);
+  if (!node || node.kind !== "guard-list" || node.helper !== "query")
+    return null;
+  const rendered = renderLoweringNode(ctx, node);
+  return rendered === null ? null : `{{bf_attr ${JSON.stringify(attrName)} (${rendered})}}`;
+}
+function isQueryGuardListCall(ctx, node) {
+  if (node.kind !== "call")
+    return false;
+  const lowered = matchRegisteredCall(ctx, node.callee, node.args);
+  return lowered?.kind === "guard-list" && lowered.helper === "query";
+}
+function ternaryHasQueryBranch(ctx, consequent, alternate) {
+  const branchHasQuery = (n) => n.kind === "conditional" ? ternaryHasQueryBranch(ctx, n.consequent, n.alternate) : isQueryGuardListCall(ctx, n);
+  return branchHasQuery(consequent) || branchHasQuery(alternate);
 }
 function renderLoweringNode(ctx, node) {
   const helper = goHelperName(node.helper);
@@ -1170,6 +1202,15 @@ function convertInitialValue(ctx, value, _typeInfo, propsParams, preParsed) {
     if (param2) {
       return propRef(param2);
     }
+    const inlinedStr = ctx.resolveModuleStringConst(value);
+    if (inlinedStr !== null)
+      return inlinedStr;
+    const inlinedNum = ctx.resolveModuleNumericConst(value);
+    if (inlinedNum !== null)
+      return inlinedNum;
+    const inlinedBool = ctx.resolveModuleBooleanConst(value);
+    if (inlinedBool !== null)
+      return inlinedBool;
   }
   const propName = ctx.extractPropNameFromInitialValue(value, preParsed);
   const param = propName ? propsParams?.find((p) => p.name === propName) : undefined;
@@ -2890,7 +2931,9 @@ class GoTemplateAdapter extends BaseAdapter {
     extractPropNameFromInitialValue: (initialValue, preParsed) => this.extractPropNameFromInitialValue(initialValue, preParsed),
     extractPropFallback: (initialValue, preParsed) => this.extractPropFallback(initialValue, preParsed),
     extractCollisionDerivation: (parsed) => this.extractCollisionDerivation(parsed),
-    resolveModuleStringConst: (name) => this.resolveModuleStringConst(name)
+    resolveModuleStringConst: (name) => this.resolveModuleStringConst(name),
+    resolveModuleNumericConst: (name) => this.resolveModuleNumericConst(name),
+    resolveModuleBooleanConst: (name) => this.resolveModuleBooleanConst(name)
   };
   get errors() {
     return this.state.errors;
@@ -2907,6 +2950,10 @@ class GoTemplateAdapter extends BaseAdapter {
   staticLoopBakeFailed = false;
   childComponentShapes = new Map;
   childContextConsumers = new Map;
+  importAliases = new Map;
+  resolveChildName(name) {
+    return this.importAliases.get(name) ?? name;
+  }
   constructor(options = {}) {
     super();
     this.options = {
@@ -2918,6 +2965,7 @@ class GoTemplateAdapter extends BaseAdapter {
   primeCompileState(ir) {
     this.state.propsObjectName = ir.metadata.propsObjectName;
     this.state.restPropsName = ir.metadata.restPropsName ?? null;
+    this.importAliases = buildImportAliasMap(ir.metadata.imports ?? []);
     this.state.objectTypedPropNames = new Set((ir.metadata.propsParams ?? []).filter((p) => p.type.kind === "object").map((p) => p.name));
     this.state.moduleStringConsts = this.collectModuleStringConsts(ir.metadata.localConstants);
     this.state.localConstants = ir.metadata.localConstants ?? [];
@@ -2952,6 +3000,7 @@ class GoTemplateAdapter extends BaseAdapter {
     this.state.componentName = ir.metadata.componentName;
     this.state.errors = [];
     this.state.referencedDerivedConsts = new Set;
+    this.state.templateReadRootFields = new Set;
     this.state.templateVarCounter = 0;
     this.state.pendingChildrenDefines = [];
     this.scope = BindingScope.EMPTY;
@@ -2980,7 +3029,7 @@ ${scriptRegistrations}${templateBody}
       template += `{{define "${d.name}"}}${d.content}{{end}}
 `;
     }
-    const types = this.generateTypes(ir);
+    const types = this.generateTypes(ir, true);
     if (this.state.errors.length > 0) {
       ir.errors.push(...this.state.errors);
     }
@@ -3209,9 +3258,12 @@ ${scriptRegistrations}${templateBody}
     taken.add(desired);
     return desired;
   }
-  generateTypes(ir) {
+  generateTypes(ir, preserveTemplateReadRootFields = false) {
     this.state.usesHtmlTemplate = false;
     this.state.usesFmt = false;
+    if (!preserveTemplateReadRootFields) {
+      this.state.templateReadRootFields = new Set;
+    }
     this.primeCompileState(ir);
     const lines = [];
     const componentName = ir.metadata.componentName;
@@ -3355,10 +3407,17 @@ ${goFields.join(`
     const node = signal.parsed;
     if (!node || node.kind !== "array-literal" || node.elements.length === 0)
       return null;
+    const name = `${componentName}${capitalizeFieldName(signal.getter)}Item`;
+    return this.synthesizeStructsFromElements(node.elements, name);
+  }
+  synthesizeStructsFromElements(elements, name) {
+    if (this.state.localTypeNames.has(name))
+      return null;
     const order = [];
-    const goTypes = new Map;
-    for (let i = 0;i < node.elements.length; i++) {
-      const el = node.elements[i];
+    const shapes = new Map;
+    const nestedElements = new Map;
+    for (let i = 0;i < elements.length; i++) {
+      const el = elements[i];
       if (el.kind !== "object-literal")
         return null;
       const seen = new Set;
@@ -3370,37 +3429,93 @@ ${goFields.join(`
         const key = prop.key;
         if (!GO_IDENTIFIER.test(key))
           return null;
+        seen.add(key);
+        const isNestedArray = prop.value.kind === "array-literal" && prop.value.elements.every((e) => e.kind === "object-literal");
+        if (isNestedArray) {
+          const prevShape2 = shapes.get(key);
+          if (prevShape2 === undefined) {
+            if (i !== 0)
+              return null;
+            order.push(key);
+            shapes.set(key, { kind: "nested-array" });
+            nestedElements.set(key, []);
+          } else if (prevShape2.kind !== "nested-array") {
+            return null;
+          }
+          nestedElements.get(key).push(...prop.value.elements);
+          continue;
+        }
         const goType = this.scalarParsedGoType(prop.value);
         if (!goType)
           return null;
-        seen.add(key);
-        const prev = goTypes.get(key);
-        if (prev === undefined) {
+        const prevShape = shapes.get(key);
+        if (prevShape === undefined) {
           if (i !== 0)
             return null;
           order.push(key);
-          goTypes.set(key, goType);
+          shapes.set(key, { kind: "scalar", goType });
+        } else if (prevShape.kind !== "scalar") {
+          return null;
         } else {
-          const merged = this.mergeScalarGoType(prev, goType);
+          const merged = this.mergeScalarGoType(prevShape.goType, goType);
           if (!merged)
             return null;
-          goTypes.set(key, merged);
+          shapes.set(key, { kind: "scalar", goType: merged });
         }
       }
       if (seen.size !== order.length)
         return null;
     }
-    const name = `${componentName}${capitalizeFieldName(signal.getter)}Item`;
-    if (this.state.localTypeNames.has(name))
-      return null;
-    return {
+    const nestedStructs = [];
+    const fields = [];
+    const properties = [];
+    for (const key of order) {
+      const shape = shapes.get(key);
+      if (shape.kind === "scalar") {
+        fields.push({ tsName: key, goName: capitalizeFieldName(key), goType: shape.goType });
+        properties.push({ name: key, type: this.scalarGoTypeToTypeInfo(shape.goType), optional: false, readonly: false });
+        continue;
+      }
+      const nestedList = nestedElements.get(key);
+      if (nestedList.length === 0)
+        return null;
+      const nestedName = `${name}${capitalizeFieldName(key)}Item`;
+      const nested = this.synthesizeStructsFromElements(nestedList, nestedName);
+      if (!nested)
+        return null;
+      nestedStructs.push(...nested);
+      fields.push({ tsName: key, goName: capitalizeFieldName(key), goType: `[]${nestedName}` });
+      properties.push({ name: key, type: this.synthSliceTypeInfo(nestedName), optional: false, readonly: false });
+    }
+    return [...nestedStructs, { name, fields, properties }];
+  }
+  scalarGoTypeToTypeInfo(goType) {
+    if (goType === "string")
+      return { kind: "primitive", raw: "string", primitive: "string" };
+    if (goType === "bool")
+      return { kind: "primitive", raw: "boolean", primitive: "boolean" };
+    return { kind: "primitive", raw: "number", primitive: "number" };
+  }
+  synthSliceTypeInfo(name) {
+    return { kind: "array", raw: `${name}[]`, elementType: { kind: "interface", raw: name } };
+  }
+  registerSynthStruct(lines, name, fields, properties, comment) {
+    this.state.localTypeNames.add(name);
+    this.state.localStructFields.set(name, new Map(fields.map((f) => [f.tsName, f.goName])));
+    this.state.currentTypeDefinitions.push({
+      kind: "type",
       name,
-      fields: order.map((key) => ({
-        tsName: key,
-        goName: capitalizeFieldName(key),
-        goType: goTypes.get(key)
-      }))
-    };
+      definition: "",
+      properties,
+      loc: SYNTH_TYPE_LOC
+    });
+    const goFields = fields.map((f) => `	${f.goName} ${f.goType} \`json:"${this.toJsonTag(f.tsName)}"\``);
+    lines.push(comment);
+    lines.push(`type ${name} struct {
+${goFields.join(`
+`)}
+}`);
+    lines.push("");
   }
   scalarParsedGoType(value) {
     if (value.kind === "unary" && value.op === "-" && value.argument.kind === "literal") {
@@ -3467,7 +3582,7 @@ ${goFields.join(`
     for (const nested of inputNested) {
       if (nested.loopMarkerId && this.getBakedStaticChildLoop(nested.loopMarkerId, nested, nested.loopArrayParsed, nested.loopParam, nested.loopKey))
         continue;
-      lines.push(`	${nested.name}s []${nested.name}Input`);
+      lines.push(`	${nested.name}s []${this.resolveChildName(nested.name)}Input`);
     }
     const takenInput = new Set(this.propParamFieldNamesUnion(ir.metadata.propsParams));
     for (const c of this.nonCollidingContextConsumers(takenInput)) {
@@ -3503,10 +3618,11 @@ ${goFields.join(`
     const wrapperName = this.loopBodyWrapperName(parentComponentName, nested);
     const datumFields = this.resolveLoopDatumFields(nested.loopItemType);
     const bodyChildInstances = this.collectBodyChildInstances(nested.bodyChildren);
-    lines.push(`// ${wrapperName} wraps ${nested.name}Props with per-row loop datum`);
+    const declaredName = this.resolveChildName(nested.name);
+    lines.push(`// ${wrapperName} wraps ${declaredName}Props with per-row loop datum`);
     lines.push(`// fields and child component slots for the loop body children. (#1897)`);
     lines.push(`type ${wrapperName} struct {`);
-    lines.push(`	${nested.name}Props`);
+    lines.push(`	${declaredName}Props`);
     for (const f of datumFields) {
       lines.push(`	${f.goName} ${f.goType} \`json:"-"\``);
     }
@@ -3515,7 +3631,7 @@ ${goFields.join(`
       lines.push(`	BfLoopItem ${scalarLoopType} \`json:"-"\``);
     }
     for (const child of bodyChildInstances) {
-      lines.push(`	${child.fieldName} ${child.name}Props \`json:"-"\``);
+      lines.push(`	${child.fieldName} ${this.resolveChildName(child.name)}Props \`json:"-"\``);
     }
     lines.push("}");
     lines.push("");
@@ -3599,12 +3715,13 @@ ${goFields.join(`
     const staticWithoutBody = staticNested.filter((n) => !n.bodyChildren || n.bodyChildren.length === 0);
     for (const nested of staticWithoutBody) {
       const varName = `${nested.name.charAt(0).toLowerCase()}${nested.name.slice(1)}s`;
+      const declaredName = this.resolveChildName(nested.name);
       const baked = nested.loopMarkerId ? this.getBakedStaticChildLoop(nested.loopMarkerId, nested, nested.loopArrayParsed, nested.loopParam, nested.loopKey) : null;
       if (baked) {
-        lines.push(`	${varName} := make([]${nested.name}Props, ${baked.items.length})`);
+        lines.push(`	${varName} := make([]${declaredName}Props, ${baked.items.length})`);
         baked.items.forEach((item, i) => {
           const fields = item.inputFields.map((f) => `${f.goField}: ${f.goValue}`).join(", ");
-          lines.push(`	${varName}[${i}] = New${nested.name}Props(${nested.name}Input{${fields}})`);
+          lines.push(`	${varName}[${i}] = New${declaredName}Props(${declaredName}Input{${fields}})`);
           lines.push(`	${varName}[${i}].BfParent = scopeID`);
           lines.push(`	${varName}[${i}].BfMount = "${nested.slotId}"`);
           if (item.dataKey !== null) {
@@ -3614,9 +3731,9 @@ ${goFields.join(`
         lines.push("");
         continue;
       }
-      lines.push(`	${varName} := make([]${nested.name}Props, len(in.${nested.name}s))`);
+      lines.push(`	${varName} := make([]${declaredName}Props, len(in.${nested.name}s))`);
       lines.push(`	for i, item := range in.${nested.name}s {`);
-      lines.push(`		${varName}[i] = New${nested.name}Props(item)`);
+      lines.push(`		${varName}[i] = New${declaredName}Props(item)`);
       lines.push(`		${varName}[i].BfParent = scopeID`);
       lines.push(`		${varName}[i].BfMount = "${nested.slotId}"`);
       const keyField = loopKeyToGoFieldPath(nested.loopKey, nested.loopParam);
@@ -3731,8 +3848,14 @@ ${goFields.join(`
         lines.push(`		${fieldName}: ${hoisted.varName},`);
       } else {
         const bakeType = this.state.synthStructTypes.get(signal.getter) ?? signal.type;
+        const resolvedParsed = this.resolvedSignalParsed(signal);
         const initialValue = convertInitialValue(this.emitCtx, signal.initialValue, bakeType, ir.metadata.propsParams, signal.parsed);
         lines.push(`		${fieldName}: ${initialValue},`);
+        if (resolvedParsed?.kind === "object-literal" && jsLiteralToGo(this.emitCtx, bakeType, resolvedParsed) === null) {
+          const step = this.state.ssrSeedPlan.steps.find((s) => s.kind === "derived" && s.origin === "signal" && s.name === signal.getter);
+          if (step?.kind === "derived")
+            this.refuseUnbakeableDerivedObjectLiteral(signal.getter, signal.loc, step.frees);
+        }
       }
     }
     for (const nested of staticWithoutBody) {
@@ -3832,19 +3955,20 @@ ${goFields.join(`
   emitStaticChildInstances(lines, ir) {
     const staticChildren = this.collectStaticChildInstances(ir.root, ir.metadata.propsParams);
     for (const child of staticChildren) {
-      lines.push(`		${child.fieldName}: New${child.name}Props(${child.name}Input{`);
+      const declaredName = this.resolveChildName(child.name);
+      lines.push(`		${child.fieldName}: New${declaredName}Props(${declaredName}Input{`);
       lines.push(`			ScopeID: scopeID + "_${child.slotId}",`);
       lines.push(`			BfParent: scopeID,`);
       lines.push(`			BfMount: "${child.slotId}",`);
       if (child.contextBindings) {
-        for (const consumer of this.childContextConsumers.get(child.name) ?? []) {
+        for (const consumer of this.childContextConsumers.get(declaredName) ?? []) {
           const goVal = child.contextBindings.get(consumer.contextName);
           if (goVal !== undefined) {
             lines.push(`			${this.contextFieldName(consumer)}: ${goVal},`);
           }
         }
       }
-      const childShape = this.childComponentShapes.get(child.name);
+      const childShape = this.childComponentShapes.get(declaredName);
       const restBagEntries = [];
       const emitChildField = (jsxName, goValue) => {
         if (childShape && childShape.restBagField && !childShape.paramNames.has(jsxName)) {
@@ -3941,6 +4065,7 @@ ${goFields.join(`
     lines.push(`// New${componentName}Props creates ${propsTypeName} from ${inputTypeName}.`);
     for (const nested of signalDynamicNested) {
       const arrayField = `${nested.name}s`;
+      const declaredName = this.resolveChildName(nested.name);
       lines.push(`//`);
       lines.push(`// NOTE: \`${arrayField}\` is populated by the route handler, not by`);
       lines.push(`// New${componentName}Props — the SSR template iterates over it`);
@@ -3948,9 +4073,9 @@ ${goFields.join(`
       lines.push(`// assign it before passing the props to your renderer. Example:`);
       lines.push(`//`);
       lines.push(`//   props := New${componentName}Props(${inputTypeName}{ /* ... */ })`);
-      lines.push(`//   props.${arrayField} = make([]${nested.name}Props, len(items))`);
+      lines.push(`//   props.${arrayField} = make([]${declaredName}Props, len(items))`);
       lines.push(`//   for i, item := range items {`);
-      lines.push(`//     props.${arrayField}[i] = New${nested.name}Props(${nested.name}Input{ /* fields */ })`);
+      lines.push(`//     props.${arrayField}[i] = New${declaredName}Props(${declaredName}Input{ /* fields */ })`);
       lines.push(`//     props.${arrayField}[i].BfParent = props.ScopeID`);
       lines.push(`//     props.${arrayField}[i].BfMount = "${nested.slotId}"`);
       lines.push(`//   }`);
@@ -3989,9 +4114,11 @@ ${goFields.join(`
       const wrapperType = this.loopBodyWrapperName(componentName, nested);
       const datumFields = this.resolveLoopDatumFields(nested.loopItemType);
       const bodyChildInstances = this.collectBodyChildInstances(nested.bodyChildren, ir.metadata.propsParams);
+      const declaredName = this.resolveChildName(nested.name);
       for (const child of bodyChildInstances) {
         const childVar = `child_${child.fieldName}`;
-        lines.push(`	${childVar} := New${child.name}Props(${child.name}Input{`);
+        const childDeclaredName = this.resolveChildName(child.name);
+        lines.push(`	${childVar} := New${childDeclaredName}Props(${childDeclaredName}Input{`);
         lines.push(`		ScopeID: scopeID + "_${child.slotId}",`);
         lines.push(`		BfParent: scopeID,`);
         lines.push(`		BfMount: "${child.slotId}",`);
@@ -4011,7 +4138,7 @@ ${goFields.join(`
       lines.push(`	${varName} := make([]${wrapperType}, len(${dataVar}))`);
       lines.push(`	for i, item := range ${dataVar} {`);
       lines.push(`		${varName}[i] = ${wrapperType}{`);
-      lines.push(`			${nested.name}Props: New${nested.name}Props(${nested.name}Input{`);
+      lines.push(`			${declaredName}Props: New${declaredName}Props(${declaredName}Input{`);
       lines.push(`				BfParent: scopeID,`);
       lines.push(`				BfMount: "${nested.slotId}",`);
       for (const prop of nested.props ?? []) {
@@ -4066,9 +4193,11 @@ ${goFields.join(`
       const varName = `${nested.name.charAt(0).toLowerCase()}${nested.name.slice(1)}s`;
       const datumFields = this.resolveLoopDatumFields(nested.loopItemType);
       const bodyChildInstances = this.collectBodyChildInstances(nested.bodyChildren, ir.metadata.propsParams);
+      const declaredName = this.resolveChildName(nested.name);
       for (const child of bodyChildInstances) {
         const childVar = `child_${child.fieldName}`;
-        lines.push(`	${childVar} := New${child.name}Props(${child.name}Input{`);
+        const childDeclaredName = this.resolveChildName(child.name);
+        lines.push(`	${childVar} := New${childDeclaredName}Props(${childDeclaredName}Input{`);
         lines.push(`		ScopeID: scopeID + "_${child.slotId}",`);
         lines.push(`		BfParent: scopeID,`);
         lines.push(`		BfMount: "${child.slotId}",`);
@@ -4087,7 +4216,7 @@ ${goFields.join(`
       lines.push(`	${varName} := make([]${wrapperType}, len(bakedData))`);
       lines.push(`	for i, item := range bakedData {`);
       lines.push(`		${varName}[i] = ${wrapperType}{`);
-      lines.push(`			${nested.name}Props: New${nested.name}Props(${nested.name}Input{`);
+      lines.push(`			${declaredName}Props: New${declaredName}Props(${declaredName}Input{`);
       lines.push(`				BfParent: scopeID,`);
       lines.push(`				BfMount: "${nested.slotId}",`);
       lines.push(`			}),`);
@@ -4142,21 +4271,7 @@ ${goFields.join(`
         visit(prop.type, desiredName, prop.name);
       }
       const fields = this.structFieldsFor(typeInfo);
-      this.state.localStructFields.set(desiredName, new Map(fields.map((f) => [f.tsName, f.goName])));
-      this.state.currentTypeDefinitions.push({
-        kind: "type",
-        name: desiredName,
-        definition: "",
-        properties: typeInfo.properties ?? [],
-        loc: SYNTH_TYPE_LOC
-      });
-      const goFields = fields.map((f) => `	${f.goName} ${f.goType} \`json:"${this.toJsonTag(f.tsName)}"\``);
-      lines.push(`// ${desiredName} is a synthesised type for an anonymous object type (#2674).`);
-      lines.push(`type ${desiredName} struct {
-${goFields.join(`
-`)}
-}`);
-      lines.push("");
+      this.registerSynthStruct(lines, desiredName, fields, typeInfo.properties ?? [], `// ${desiredName} is a synthesised type for an anonymous object type (#2674).`);
     };
     const visitArrayElem = (elemType, parentName, propName) => {
       if (!elemType)
@@ -4208,20 +4323,11 @@ ${goFields.join(`
       const synth = this.synthesizeStructFromSignal(signal, componentName);
       if (!synth)
         continue;
-      this.state.localTypeNames.add(synth.name);
-      this.state.localStructFields.set(synth.name, new Map(synth.fields.map((f) => [f.tsName, f.goName])));
-      this.state.synthStructTypes.set(signal.getter, {
-        kind: "array",
-        raw: `${synth.name}[]`,
-        elementType: { kind: "interface", raw: synth.name }
-      });
-      const goFields = synth.fields.map((f) => `	${f.goName} ${f.goType} \`json:"${this.toJsonTag(f.tsName)}"\``);
-      lines.push(`// ${synth.name} is a synthesised element type for the ${signal.getter} signal.`);
-      lines.push(`type ${synth.name} struct {
-${goFields.join(`
-`)}
-}`);
-      lines.push("");
+      for (const s of synth) {
+        this.registerSynthStruct(lines, s.name, s.fields, s.properties, `// ${s.name} is a synthesised element type for the ${signal.getter} signal.`);
+      }
+      const top = synth[synth.length - 1];
+      this.state.synthStructTypes.set(signal.getter, this.synthSliceTypeInfo(top.name));
     }
   }
   resolveNestedLoopItemTypes(ir, nestedComponents) {
@@ -4364,7 +4470,7 @@ ${goFields.join(`
     for (const nested of nestedComponents) {
       if (this.isOrphanedClientOnlyNested(nested))
         continue;
-      const elemType = nested.bodyChildren?.length ? this.loopBodyWrapperName(componentName, nested) : `${nested.name}Props`;
+      const elemType = nested.bodyChildren?.length ? this.loopBodyWrapperName(componentName, nested) : `${this.resolveChildName(nested.name)}Props`;
       if (nested.isDynamic && !nested.isPropDerived) {
         lines.push(`	${nested.name}s []${elemType} \`json:"-"\``);
       } else if (nested.isDynamic && nested.isPropDerived && !propDrivingFieldNames.has(`${nested.name}s`)) {
@@ -4376,7 +4482,7 @@ ${goFields.join(`
     }
     const staticChildren = this.collectStaticChildInstances(ir.root, ir.metadata.propsParams);
     for (const child of staticChildren) {
-      lines.push(`	${child.fieldName} ${child.name}Props \`json:"-"\``);
+      lines.push(`	${child.fieldName} ${this.resolveChildName(child.name)}Props \`json:"-"\``);
     }
     for (const slot of spreadSlots) {
       const jsonTag = "-";
@@ -4755,6 +4861,22 @@ ${goFields.join(`
   resolvedSignalParsed(signal) {
     return resolveSignalParsedThroughSeedPlan(this.state, signal);
   }
+  refuseUnbakeableDerivedObjectLiteral(name, loc, frees) {
+    if (frees.length === 0)
+      return;
+    if (!this.state.templateReadRootFields.has(name))
+      return;
+    this.state.errors.push({
+      code: "BF101",
+      severity: "error",
+      message: `Signal '${name}' is seeded from an object literal that references live value(s) (${frees.join(", ")}) — the Go template adapter bakes object-typed signal values into Go source at New${this.state.componentName}Props time, and that baker is static-only (identifier/member/call operands defer), so the SSR template's read of it would see the Go zero value instead of the derived object.`,
+      loc,
+      suggestion: {
+        message: `Wrap each SSR read of '${name}()' in /* @client */ so it renders on the client instead, or pass the already-derived object in as a prop.`,
+        escape: [{ kind: "client-directive" }]
+      }
+    });
+  }
   extractPropFallback(initialValue, preParsed) {
     const structural = preParsed ? this.extractPropFallbackFromParsed(preParsed) : null;
     if (structural)
@@ -5083,6 +5205,7 @@ ${goFields.join(`
     return hit !== null && hit.depth > 0 && hit.binding.source === "item";
   }
   rootFieldRef(name) {
+    this.state.templateReadRootFields.add(name);
     const prefix = this.inLoop ? "$." : ".";
     return `${prefix}${capitalizeFieldName(name)}`;
   }
@@ -5104,6 +5227,9 @@ ${goFields.join(`
       return null;
     return `"${escapeGoString(value)}"`;
   }
+  findModuleConst(name) {
+    return this.state.localConstants.find((k) => k.name === name && k.isModule && !k.containsArrow);
+  }
   resolveModuleNumericConst(name) {
     if (this.isCurrentLoopItem(name))
       return null;
@@ -5111,12 +5237,25 @@ ${goFields.join(`
       return null;
     if (this.isOuterLoopParam(name))
       return null;
-    const c = this.state.localConstants.find((k) => k.name === name && k.isModule && !k.containsArrow);
+    const c = this.findModuleConst(name);
     if (!c || c.value === undefined)
       return null;
     const v = c.value.trim().replace(/(?<=\d)_(?=\d)/g, "");
     return /^-?\d+(\.\d+)?$/.test(v) ? v : null;
   }
+  resolveModuleBooleanConst(name) {
+    if (this.isCurrentLoopItem(name))
+      return null;
+    if (this.loopVarRefCount.has(name))
+      return null;
+    if (this.isOuterLoopParam(name))
+      return null;
+    const c = this.findModuleConst(name);
+    if (!c || c.value === undefined)
+      return null;
+    const v = c.value.trim();
+    return v === "true" || v === "false" ? v : null;
+  }
   literal(value, literalType) {
     if (literalType === "string")
       return `"${value}"`;
@@ -5125,6 +5264,9 @@ ${goFields.join(`
     return String(value);
   }
   call(callee, args, emit) {
+    const lowered = lowerRegisteredCallNode(this.emitCtx, callee, args);
+    if (lowered !== null)
+      return lowered;
     if (callee.kind === "identifier" && args.length === 0) {
       return this.searchParamsFieldRef(callee.name) ?? this.rootFieldRef(callee.name);
     }
@@ -5754,8 +5896,10 @@ ${goFields.join(`
         }
         const signal = localVarMap.get(expr.name);
         if (signal) {
+          this.rootFieldRef(signal);
           return `$.${capitalizeFieldName(signal)}`;
         }
+        this.rootFieldRef(expr.name);
         return `.${capitalizeFieldName(expr.name)}`;
       }
       case "literal":
@@ -5788,6 +5932,7 @@ ${goFields.join(`
           return `${paramPrefix}.${capitalizeFieldName(expr.callee.property)}`;
         }
         if (expr.callee.kind === "identifier" && expr.args.length === 0) {
+          this.rootFieldRef(expr.callee.name);
           return `$.${capitalizeFieldName(expr.callee.name)}`;
         }
         if (asCallbackMethodCall4(expr) !== null) {
@@ -5960,7 +6105,8 @@ ${goFields.join(`
     return this.scope.isBound(name) || this.loopVarRefCount.has(name);
   }
   loopRowChildPropOverrides(comp) {
-    const childShape = this.childComponentShapes.get(comp.name);
+    const declaredName = this.resolveChildName(comp.name);
+    const childShape = this.childComponentShapes.get(declaredName);
     const args = [];
     let needsRebuild = false;
     for (const prop of comp.props) {
@@ -5980,10 +6126,10 @@ ${goFields.join(`
       if (!free || ![...free].some((name) => this.isLoopShadowedName(name)))
         continue;
       {
-        const derived = this.childDerivedFieldDeps.get(comp.name);
+        const derived = this.childDerivedFieldDeps.get(declaredName);
         const overriddenField = capitalizeFieldName(prop.name);
         const staleField = derived ? [...derived].find(([, deps]) => deps.has(overriddenField))?.[0] : undefined;
-        if (staleField && !this.childRepropsReady.has(comp.name)) {
+        if (staleField && !this.childRepropsReady.has(declaredName)) {
           this.state.errors.push({
             code: "BF101",
             severity: "error",
@@ -5997,8 +6143,8 @@ ${goFields.join(`
         }
         if (staleField) {
           needsRebuild = true;
-          if (!this.repropsOwner.has(comp.name)) {
-            this.repropsOwner.set(comp.name, this.state.componentName);
+          if (!this.repropsOwner.has(declaredName)) {
+            this.repropsOwner.set(declaredName, this.state.componentName);
           }
         }
       }
@@ -6024,7 +6170,7 @@ ${goFields.join(`
         });
         continue;
       }
-      const fieldName = this.childPropFieldNames.get(comp.name)?.get(prop.name) ?? capitalizeFieldName(prop.name);
+      const fieldName = this.childPropFieldNames.get(declaredName)?.get(prop.name) ?? capitalizeFieldName(prop.name);
       args.push(`${JSON.stringify(fieldName)} ${wrapIfMultiToken(go)}`);
     }
     if (args.length === 0)
@@ -6570,7 +6716,8 @@ ${goFields.join(`
   }
   queueDynamicPropDefine(comp) {
     const args = [];
-    const childShape = this.childComponentShapes.get(comp.name);
+    const declaredName = this.resolveChildName(comp.name);
+    const childShape = this.childComponentShapes.get(declaredName);
     for (const prop of comp.props) {
       if (prop.value.kind !== "jsx-children" || prop.name === "children")
         continue;
@@ -6597,7 +6744,7 @@ ${goFields.join(`
           content: this.renderChildren(children)
         });
       }
-      const fieldName = this.childPropFieldNames.get(comp.name)?.get(prop.name) ?? capitalizeFieldName(prop.name);
+      const fieldName = this.childPropFieldNames.get(declaredName)?.get(prop.name) ?? capitalizeFieldName(prop.name);
       args.push(`${JSON.stringify(fieldName)} (bf_tmpl ${JSON.stringify(name)} .)`);
     }
     return args.length > 0 ? args.join(" ") : null;
@@ -6629,31 +6776,32 @@ ${goFields.join(`
     if (comp.dynamicTag) {
       return this.renderChildren(comp.children);
     }
+    const declaredName = this.resolveChildName(comp.name);
     let templateCall;
     if (this.inLoop && (this.loopWrapperStack[this.loopWrapperStack.length - 1] ?? false)) {
       const loopBodyDefine = this.queueLoopBodyChildrenDefine(comp);
       if (loopBodyDefine) {
         const bodyData = this.loopScalarItemStack[this.loopScalarItemStack.length - 1] ? ".BfLoopItem" : ".";
-        templateCall = `{{template "${comp.name}" (bf_with_children . (bf_tmpl "${loopBodyDefine}" ${bodyData}))}}`;
+        templateCall = `{{template "${declaredName}" (bf_with_children . (bf_tmpl "${loopBodyDefine}" ${bodyData}))}}`;
       } else {
-        templateCall = `{{template "${comp.name}" .}}`;
+        templateCall = `{{template "${declaredName}" .}}`;
       }
     } else if (this.inLoop && comp.slotId) {
       const suffix = slotIdToFieldSuffix(comp.slotId);
       const overrides = this.loopRowChildPropOverrides(comp);
       const loopBodyDefine = this.queueLoopBodyChildrenDefine(comp);
-      const base = overrides ? overrides.helper === "bf_reprops" ? `(bf_reprops ${JSON.stringify(comp.name)} $.${comp.name}${suffix} ${overrides.args})` : `(bf_with_props $.${comp.name}${suffix} ${overrides.args})` : `$.${comp.name}${suffix}`;
-      templateCall = loopBodyDefine ? `{{template "${comp.name}" (bf_with_children ${base} (bf_tmpl "${loopBodyDefine}" .))}}` : `{{template "${comp.name}" ${base}}}`;
+      const base = overrides ? overrides.helper === "bf_reprops" ? `(bf_reprops ${JSON.stringify(declaredName)} $.${comp.name}${suffix} ${overrides.args})` : `(bf_with_props $.${comp.name}${suffix} ${overrides.args})` : `$.${comp.name}${suffix}`;
+      templateCall = loopBodyDefine ? `{{template "${declaredName}" (bf_with_children ${base} (bf_tmpl "${loopBodyDefine}" .))}}` : `{{template "${declaredName}" ${base}}}`;
     } else if (this.inLoop) {
-      templateCall = `{{template "${comp.name}" .}}`;
+      templateCall = `{{template "${declaredName}" .}}`;
     } else if (comp.slotId) {
       const suffix = slotIdToFieldSuffix(comp.slotId);
       const childrenDefine = this.queueDynamicChildrenDefine(comp);
       const propArgs = this.queueDynamicPropDefine(comp);
       const base = propArgs ? `(bf_with_props .${comp.name}${suffix} ${propArgs})` : `.${comp.name}${suffix}`;
-      templateCall = childrenDefine ? `{{template "${comp.name}" (bf_with_children ${base} (bf_tmpl "${childrenDefine}" .))}}` : `{{template "${comp.name}" ${base}}}`;
+      templateCall = childrenDefine ? `{{template "${declaredName}" (bf_with_children ${base} (bf_tmpl "${childrenDefine}" .))}}` : `{{template "${declaredName}" ${base}}}`;
     } else {
-      templateCall = `{{template "${comp.name}" .${comp.name}}}`;
+      templateCall = `{{template "${declaredName}" .${comp.name}}}`;
     }
     if (ctx?.isRootOfClientComponent) {
       return `{{bfScopeComment .}}${templateCall}`;
@@ -6704,15 +6852,21 @@ ${children}`;
         const test = parsed.test;
         if (undef(parsed.alternate) && !undef(parsed.consequent)) {
           const { condition: goCond, preamble } = this.convertConditionToGo(this.isTemplateFragment(this.renderParsedExpr(test), test.kind) ? value.expr : value.expr.slice(0, value.expr.indexOf("?")).trim());
-          const valueExpr = this.renderParsedExpr(parsed.consequent);
-          const body = `${name}="{{${valueExpr}}}"`;
+          const attrConsequent = lowerRegisteredAttrCall(this.emitCtx, name, parsed.consequent);
+          const body = attrConsequent !== null ? attrConsequent : `${name}="{{${this.renderParsedExpr(parsed.consequent)}}}"`;
           return `${preamble}{{if ${goCond}}}${body}{{end}}`;
         }
+        const attrTernary = lowerRegisteredAttrCall(this.emitCtx, name, parsed);
+        if (attrTernary !== null)
+          return attrTernary;
         return `${name}="{{${this.renderParsedExpr(parsed)}}}"`;
       }
       if (parsed.kind === "template-literal") {
         return `${name}="${this.renderParsedExpr(parsed)}"`;
       }
+      const attrAction = lowerRegisteredAttrCall(this.emitCtx, name, parsed);
+      if (attrAction !== null)
+        return attrAction;
       const bareId = value.expr.trim();
       const propName = this.state.propsObjectName && bareId.startsWith(`${this.state.propsObjectName}.`) ? bareId.slice(this.state.propsObjectName.length + 1) : bareId;
       if (/^[A-Za-z_$][\w$]*$/.test(propName) && this.state.nillablePropNames.has(propName)) {