@barefootjs/go-template 0.17.0 → 0.17.1

package/dist/adapter/memo/memo-compute.d.ts

@@ -10,6 +10,46 @@
 import type { ParsedExpr, ParsedStatement, TypeInfo } from '@barefootjs/jsx';
 import type { GoEmitContext } from '../emit-context.ts';
 import type { PropFallbackVar } from '../lib/types.ts';
+/** A `() => props.X.filter((p) => <predicate>)` match: the array prop name,
+ *  the predicate serialized to the runtime evaluator's ParsedExpr JSON, the
+ *  arrow's param name, and the free variable names its predicate captures.
+ *  Null when `body` isn't this shape, `propName` doesn't resolve to a known
+ *  prop, or the predicate isn't representable (`serializeParsedExpr` refusal).
+ *  Shared by the SSR-value emitter ({@link memoInitialFromParsedBody}) and the
+ *  constructor's sibling-memo hoisting pre-pass so both walk the shape
+ *  identically. */
+export declare function matchFilterArmMemo(ctx: GoEmitContext, body: ParsedExpr, signals: {
+    getter: string;
+    initialValue: string;
+}[], propsParams: {
+    name: string;
+    type?: TypeInfo;
+    defaultValue?: string;
+}[]): {
+    propName: string;
+    predJSON: string;
+    paramName: string;
+    freeVars: string[];
+} | null;
+/**
+ * Names of EARLIER sibling memos (per `ctx.state.currentMemos` declaration
+ * order) that a filter-arm memo's predicate free variables resolve to — the
+ * constructor generator hoists these into a shared local so the sibling's
+ * expression isn't emitted twice (once for its own field, once inlined in
+ * this memo's `bf.FilterEval` env map, #2075/#2077 review finding 3). Empty
+ * when `memo` isn't a filter-arm memo or references nothing hoistable.
+ */
+export declare function filterArmEarlierSiblingRefs(ctx: GoEmitContext, memo: {
+    name: string;
+    parsed?: ParsedExpr;
+}, signals: {
+    getter: string;
+    initialValue: string;
+}[], propsParams: {
+    name: string;
+    type?: TypeInfo;
+    defaultValue?: string;
+}[]): string[];
 /**
  * Compute a memo's SSR initial value as a Go expression — e.g.
  * `() => count() * 2` → `in.Initial * 2`, `() => props.value * 10` →
@@ -49,7 +89,7 @@ export declare function memoInitialFromParsedBody(ctx: GoEmitContext, body: Pars
     name: string;
     type?: TypeInfo;
     defaultValue?: string;
-}[], propFallbackVars: ReadonlyMap<string, PropFallbackVar>): string | null;
+}[], propFallbackVars: ReadonlyMap<string, PropFallbackVar>, currentMemoName: string, resolving?: ReadonlySet<string>): string | null;
 /**
  * Pattern-matching core of `computeMemoInitialValue`.
  *
@@ -73,7 +113,16 @@ export declare function computeMemoInitialValueOrNull(ctx: GoEmitContext, memo:
     name: string;
     type?: TypeInfo;
     defaultValue?: string;
-}[], propFallbackVars?: ReadonlyMap<string, PropFallbackVar>): string | null;
+}[], propFallbackVars?: ReadonlyMap<string, PropFallbackVar>, 
+/**
+ * Memo names currently being resolved on this call stack — guards against
+ * unbounded recursion when memos reference each other (mutually, or a
+ * self-reference). Callers that start a fresh top-level computation seed
+ * this with `memo.name`; recursive calls extend it with the sibling memo
+ * about to be entered. A candidate already in the set resolves to `null`
+ * (the shape's usual "unsupported" fallback) instead of recursing.
+ */
+resolving?: ReadonlySet<string>): string | null;
 /**
  * Resolve a signal/memo getter NAME to a Go value expression, for use as the
  * condition operand of another memo's ternary. Handles a plain signal, a
@@ -89,7 +138,7 @@ export declare function resolveGetterValueAsGo(ctx: GoEmitContext, name: string,
     name: string;
     type?: TypeInfo;
     defaultValue?: string;
-}[], propFallbackVars: ReadonlyMap<string, PropFallbackVar>): string | null;
+}[], propFallbackVars: ReadonlyMap<string, PropFallbackVar>, resolving?: ReadonlySet<string>): string | null;
 /**
  * Resolve a string-ternary memo whose condition is a literal comparison —
  * `() => <operand> === 'lit' ? A : B` (or `!==`) — to a Go runtime conditional.
@@ -105,7 +154,7 @@ export declare function computeComparisonTernaryGo(ctx: GoEmitContext, parsed: P
     name: string;
     type?: TypeInfo;
     defaultValue?: string;
-}[], propFallbackVars: ReadonlyMap<string, PropFallbackVar>): string | null;
+}[], propFallbackVars: ReadonlyMap<string, PropFallbackVar>, resolving?: ReadonlySet<string>): string | null;
 /**
  * Resolve the left operand of a string-ternary memo's comparison condition to a
  * Go expression: a zero-arg getter call (a signal/prop-shadow memo), an inline
@@ -120,5 +169,5 @@ export declare function resolveComparisonOperandGo(ctx: GoEmitContext, node: Par
     name: string;
     type?: TypeInfo;
     defaultValue?: string;
-}[], propFallbackVars: ReadonlyMap<string, PropFallbackVar>): string | null;
+}[], propFallbackVars: ReadonlyMap<string, PropFallbackVar>, resolving?: ReadonlySet<string>): string | null;
 //# sourceMappingURL=memo-compute.d.ts.map

package/dist/adapter/memo/memo-compute.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"memo-compute.d.ts","sourceRoot":"","sources":["../../../src/adapter/memo/memo-compute.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AAE5E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AACvD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAA;AAUtD;;;;;;;;;GASG;AACH,wBAAgB,uBAAuB,CACrC,GAAG,EAAE,aAAa,EAClB,IAAI,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,EAAE,CAAC;IAAC,MAAM,CAAC,EAAE,UAAU,CAAA;CAAE,EAChF,OAAO,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,EAAE,EACnD,WAAW,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,EACvE,gBAAgB,GAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAA4B,EACjF,MAAM,CAAC,EAAE,MAAM,GACd,MAAM,CAqBR;AAED;;;;;;;;GAQG;AACH,wBAAgB,yBAAyB,CACvC,GAAG,EAAE,aAAa,EAClB,IAAI,EAAE,UAAU,EAChB,OAAO,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,EAAE,EACnD,WAAW,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,EACvE,gBAAgB,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,GACrD,MAAM,GAAG,IAAI,CAsKf;AAED;;;;;;;;GAQG;AACH,wBAAgB,6BAA6B,CAC3C,GAAG,EAAE,aAAa,EAClB,IAAI,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,EAAE,CAAC;IAAC,MAAM,CAAC,EAAE,UAAU,CAAC;IAAC,WAAW,CAAC,EAAE,eAAe,EAAE,CAAC;IAAC,mBAAmB,CAAC,EAAE,OAAO,CAAA;CAAE,EAChJ,OAAO,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,EAAE,EACnD,WAAW,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,EACvE,gBAAgB,GAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAA4B,GAChF,MAAM,GAAG,IAAI,CAsDf;AAED;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CACpC,GAAG,EAAE,aAAa,EAClB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,EAAE,EACnD,WAAW,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,EACvE,gBAAgB,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,GACrD,MAAM,GAAG,IAAI,CAqBf;AAED;;;;;;;GAOG;AACH,wBAAgB,0BAA0B,CACxC,GAAG,EAAE,aAAa,EAClB,MAAM,EAAE,UAAU,GAAG,SAAS,EAC9B,OAAO,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,EAAE,EACnD,WAAW,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,EACvE,gBAAgB,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,GACrD,MAAM,GAAG,IAAI,CAuCf;AAED;;;;;;GAMG;AACH,wBAAgB,0BAA0B,CACxC,GAAG,EAAE,aAAa,EAClB,IAAI,EAAE,UAAU,EAChB,OAAO,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,EAAE,EACnD,WAAW,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,EACvE,gBAAgB,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,GACrD,MAAM,GAAG,IAAI,CAiBf"}
+{"version":3,"file":"memo-compute.d.ts","sourceRoot":"","sources":["../../../src/adapter/memo/memo-compute.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AAQ5E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AACvD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAA;AA4BtD;;;;;;;mBAOmB;AACnB,wBAAgB,kBAAkB,CAChC,GAAG,EAAE,aAAa,EAClB,IAAI,EAAE,UAAU,EAChB,OAAO,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,EAAE,EACnD,WAAW,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,GACtE;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,IAAI,CAsBtF;AAED;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CACzC,GAAG,EAAE,aAAa,EAClB,IAAI,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,UAAU,CAAA;CAAE,EAC3C,OAAO,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,EAAE,EACnD,WAAW,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,GACtE,MAAM,EAAE,CAgBV;AAED;;;;;;;;;GASG;AACH,wBAAgB,uBAAuB,CACrC,GAAG,EAAE,aAAa,EAClB,IAAI,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,EAAE,CAAC;IAAC,MAAM,CAAC,EAAE,UAAU,CAAA;CAAE,EAChF,OAAO,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,EAAE,EACnD,WAAW,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,EACvE,gBAAgB,GAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAA4B,EACjF,MAAM,CAAC,EAAE,MAAM,GACd,MAAM,CAwBR;AAED;;;;;;;;GAQG;AACH,wBAAgB,yBAAyB,CACvC,GAAG,EAAE,aAAa,EAClB,IAAI,EAAE,UAAU,EAChB,OAAO,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,EAAE,EACnD,WAAW,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,EACvE,gBAAgB,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,EACtD,eAAe,EAAE,MAAM,EACvB,SAAS,GAAE,WAAW,CAAC,MAAM,CAAa,GACzC,MAAM,GAAG,IAAI,CAkQf;AAED;;;;;;;;GAQG;AACH,wBAAgB,6BAA6B,CAC3C,GAAG,EAAE,aAAa,EAClB,IAAI,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,EAAE,CAAC;IAAC,MAAM,CAAC,EAAE,UAAU,CAAC;IAAC,WAAW,CAAC,EAAE,eAAe,EAAE,CAAC;IAAC,mBAAmB,CAAC,EAAE,OAAO,CAAA;CAAE,EAChJ,OAAO,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,EAAE,EACnD,WAAW,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,EACvE,gBAAgB,GAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAA4B;AACjF;;;;;;;GAOG;AACH,SAAS,GAAE,WAAW,CAAC,MAAM,CAAa,GACzC,MAAM,GAAG,IAAI,CAyDf;AAED;;;;;;;GAOG;AACH,wBAAgB,sBAAsB,CACpC,GAAG,EAAE,aAAa,EAClB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,EAAE,EACnD,WAAW,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,EACvE,gBAAgB,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,EACtD,SAAS,GAAE,WAAW,CAAC,MAAM,CAAa,GACzC,MAAM,GAAG,IAAI,CA0Bf;AAED;;;;;;;GAOG;AACH,wBAAgB,0BAA0B,CACxC,GAAG,EAAE,aAAa,EAClB,MAAM,EAAE,UAAU,GAAG,SAAS,EAC9B,OAAO,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,EAAE,EACnD,WAAW,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,EACvE,gBAAgB,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,EACtD,SAAS,GAAE,WAAW,CAAC,MAAM,CAAa,GACzC,MAAM,GAAG,IAAI,CAwCf;AAED;;;;;;GAMG;AACH,wBAAgB,0BAA0B,CACxC,GAAG,EAAE,aAAa,EAClB,IAAI,EAAE,UAAU,EAChB,OAAO,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,EAAE,EACnD,WAAW,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,EACvE,gBAAgB,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,EACtD,SAAS,GAAE,WAAW,CAAC,MAAM,CAAa,GACzC,MAAM,GAAG,IAAI,CAiBf"}

package/dist/adapter/memo/memo-type.d.ts

@@ -7,6 +7,16 @@
  */
 import type { ParsedExpr, TypeInfo } from '@barefootjs/jsx';
 import type { GoEmitContext } from '../emit-context.ts';
+/**
+ * True when a memo's body is a `.filter(<arrow>)` callback-method call
+ * (#2075) — a LIST-valued derived memo (the blog PostList `visible` shape:
+ * `createMemo(() => props.items.filter((p) => …))`), not a scalar. Exported
+ * so both `isBooleanMemo` (guard below) and `inferMemoType`'s field-type
+ * decision (go-template-adapter.ts) share the one recognition point.
+ */
+export declare function isListFilterMemo(memo: {
+    parsed?: ParsedExpr;
+}): boolean;
 /**
  * Heuristic: does this memo evaluate to a boolean? True when its computation is
  * a comparison (`!==`/`===`/`!=`/`==`), a negation (`!x`), or a ternary whose

package/dist/adapter/memo/memo-type.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"memo-type.d.ts","sourceRoot":"","sources":["../../../src/adapter/memo/memo-type.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AAE3D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AAGvD;;;;;GAKG;AACH,wBAAgB,aAAa,CAC3B,GAAG,EAAE,aAAa,EAClB,IAAI,EAAE;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,EAAE,CAAC;IAAC,MAAM,CAAC,EAAE,UAAU,CAAA;CAAE,EAClE,OAAO,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,EAAE,EACnE,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,GAClF,OAAO,CA8BT;AAED;;;;;;;GAOG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,aAAa,EAAE,MAAM,EAAE,UAAU,GAAG,SAAS,GAAG,OAAO,CAS/F"}
+{"version":3,"file":"memo-type.d.ts","sourceRoot":"","sources":["../../../src/adapter/memo/memo-type.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AAE3D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AAGvD;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE;IAAE,MAAM,CAAC,EAAE,UAAU,CAAA;CAAE,GAAG,OAAO,CAIvE;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAC3B,GAAG,EAAE,aAAa,EAClB,IAAI,EAAE;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,EAAE,CAAC;IAAC,MAAM,CAAC,EAAE,UAAU,CAAA;CAAE,EAClE,OAAO,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,EAAE,EACnE,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,GAClF,OAAO,CAmCT;AAED;;;;;;;GAOG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,aAAa,EAAE,MAAM,EAAE,UAAU,GAAG,SAAS,GAAG,OAAO,CAS/F"}

package/dist/build.js

@@ -371,7 +371,7 @@ import {
   isSupported,
   exprToString,
   identifierPath,
-  asCallbackMethodCall,
+  asCallbackMethodCall as asCallbackMethodCall3,
   sortComparatorFromArrow,
   emitParsedExpr,
   emitIRNode,
@@ -380,8 +380,9 @@ import {
   collectContextConsumers,
   isLowerableObjectRestDestructure,
   collectModuleStringConsts as collectModuleStringConstsShared,
-  searchParamsLocalNames,
-  prepareLoweringMatchers
+  prepareLoweringMatchers,
+  envSignalReaderFor,
+  computeSsrSeedPlan
 } from "@barefootjs/jsx";
 import { findInterpolationEnd } from "@barefootjs/jsx/scanner";
 import { BF_REGION } from "@barefootjs/shared";
@@ -564,6 +565,13 @@ function emitFlatMapEval(recv, body, param, emit) {
   const env = emitEvalEnvArg(body, [param], emit);
   return `bf_flat_map_eval ${wrapIfMultiToken(recv)} "${escapeGoString(json)}" "${param}" ${env}`;
 }
+function emitMapEval(recv, body, param, emit) {
+  const json = serializeParsedExpr(body);
+  if (json === null)
+    return null;
+  const env = emitEvalEnvArg(body, [param], emit);
+  return `bf_map_eval ${wrapIfMultiToken(recv)} "${escapeGoString(json)}" "${param}" ${env}`;
+}
 function stringTolerantEqOperands(l, r) {
   const isStrLit = (x) => /^"(?:[^"\\]|\\.)*"$/.test(x);
   if (isStrLit(l) === isStrLit(r))
@@ -677,6 +685,9 @@ class CompileState {
   currentTypeDefinitions = [];
   contextConsumers = [];
   searchParamsLocals = new Set;
+  envSignalReadersByLocal = new Map;
+  ssrSeedPlan = { baseScope: [], steps: [] };
+  hoistedMemoLocals = new Map;
   loweringMatchers = [];
   nillablePropNames = new Set;
   rootScopeNodes = new Set;
@@ -1317,8 +1328,17 @@ function getSignalInitialValueAsGo(ctx, initialValue, propsParams, propFallbackV
 }
 
 // src/adapter/memo/memo-type.ts
+import { asCallbackMethodCall } from "@barefootjs/jsx";
+function isListFilterMemo(memo) {
+  if (!memo.parsed)
+    return false;
+  const cb = asCallbackMethodCall(memo.parsed);
+  return cb !== null && cb.method === "filter";
+}
 function isBooleanMemo(ctx, memo, signals, propsParamMap) {
   const c = memo.computation;
+  if (isListFilterMemo(memo))
+    return false;
   if (isStringTernaryMemo(ctx, memo.parsed))
     return false;
   if (/(!==|===|!=(?!=)|==(?!=))/.test(c))
@@ -1609,6 +1629,14 @@ function computeObjectMemoInitialValue(ctx, memo) {
 	}`;
 }
 
+// src/adapter/memo/memo-compute.ts
+import {
+  asCallbackMethodCall as asCallbackMethodCall2,
+  freeVarsInBody as freeVarsInBody2,
+  materializeGetterCalls,
+  serializeParsedExpr as serializeParsedExpr2
+} from "@barefootjs/jsx";
+
 // src/adapter/memo/template-interp.ts
 import ts from "typescript";
 function computeTemplateLiteralMemoInitialValue(ctx, memo, propsParams) {
@@ -1749,8 +1777,49 @@ function propsAccessNameFromParsed(ctx, node) {
 
 // src/adapter/memo/memo-compute.ts
 var EMPTY_PROP_FALLBACK_VARS2 = new Map;
+function getterCallName(e) {
+  return e.kind === "call" && e.callee.kind === "identifier" && e.args.length === 0 ? e.callee.name : null;
+}
+function propsMemberName(e) {
+  return e.kind === "member" && !e.computed && e.object.kind === "identifier" && e.object.name === "props" ? e.property : null;
+}
+function matchFilterArmMemo(ctx, body, signals, propsParams) {
+  const cb = asCallbackMethodCall2(body);
+  if (!cb || cb.method !== "filter")
+    return null;
+  const propName = propsMemberName(cb.object);
+  const param = propName ? propsParams.find((p) => p.name === propName) : undefined;
+  if (!propName || !param)
+    return null;
+  const knownGetterNames = new Set(ctx.state.ssrSeedPlan.steps.filter((s) => s.kind !== "env-reader").map((s) => s.name));
+  const materialized = materializeGetterCalls(cb.arrow.body, knownGetterNames);
+  const predJSON = serializeParsedExpr2(materialized);
+  if (predJSON === null)
+    return null;
+  const paramName = cb.arrow.params[0] ?? "_";
+  const freeVars = freeVarsInBody2(materialized, new Set(cb.arrow.params));
+  return { propName, predJSON, paramName, freeVars };
+}
+function filterArmEarlierSiblingRefs(ctx, memo, signals, propsParams) {
+  if (!memo.parsed)
+    return [];
+  const match = matchFilterArmMemo(ctx, memo.parsed, signals, propsParams);
+  if (!match)
+    return [];
+  const memos = ctx.state.currentMemos ?? [];
+  const currentIndex = memos.findIndex((m) => m.name === memo.name);
+  if (currentIndex < 0)
+    return [];
+  const refs = [];
+  for (const name of match.freeVars) {
+    const idx = memos.findIndex((m) => m.name === name);
+    if (idx >= 0 && idx < currentIndex)
+      refs.push(name);
+  }
+  return refs;
+}
 function computeMemoInitialValue(ctx, memo, signals, propsParams, propFallbackVars = EMPTY_PROP_FALLBACK_VARS2, goType) {
-  const resolved = computeMemoInitialValueOrNull(ctx, memo, signals, propsParams, propFallbackVars);
+  const resolved = computeMemoInitialValueOrNull(ctx, memo, signals, propsParams, propFallbackVars, new Set([memo.name]));
   if (resolved !== null)
     return resolved;
   if (goType === "bool")
@@ -1762,15 +1831,79 @@ function computeMemoInitialValue(ctx, memo, signals, propsParams, propFallbackVa
   }
   return "0";
 }
-function memoInitialFromParsedBody(ctx, body, signals, propsParams, propFallbackVars) {
+function memoInitialFromParsedBody(ctx, body, signals, propsParams, propFallbackVars, currentMemoName, resolving = new Set) {
   const propRef = (propName) => {
     const hoisted = propFallbackVars.get(propName);
     if (hoisted)
       return hoisted.varName;
     return `in.${capitalizeFieldName(propName)}`;
   };
-  const getterCallName = (e) => e.kind === "call" && e.callee.kind === "identifier" && e.args.length === 0 ? e.callee.name : null;
-  const propsMemberName = (e) => e.kind === "member" && !e.computed && e.object.kind === "identifier" && e.object.name === "props" ? e.property : null;
+  const envGetKey = (e) => {
+    if (e.kind !== "call" || e.callee.kind !== "member" || e.callee.computed)
+      return null;
+    const recvName = getterCallName(e.callee.object);
+    if (recvName === null)
+      return null;
+    const reader = ctx.state.envSignalReadersByLocal.get(recvName);
+    if (!reader || !reader.methods.has(e.callee.property))
+      return null;
+    const arg = e.args[0];
+    if (!arg || arg.kind !== "literal" || arg.literalType !== "string")
+      return null;
+    return { key: String(arg.value), fieldName: capitalizeFieldName(reader.canonicalName) };
+  };
+  {
+    const m = envGetKey(body);
+    if (m !== null)
+      return `in.${m.fieldName}.Get(${JSON.stringify(m.key)})`;
+  }
+  if (body.kind === "logical" && (body.op === "??" || body.op === "||") && body.right.kind === "literal" && body.right.literalType === "string") {
+    const m = envGetKey(body.left);
+    if (m !== null) {
+      const def = JSON.stringify(String(body.right.value));
+      return `func() string { if v := in.${m.fieldName}.Get(${JSON.stringify(m.key)}); v != "" { return v }; return ${def} }()`;
+    }
+  }
+  {
+    const match = matchFilterArmMemo(ctx, body, signals, propsParams);
+    if (match) {
+      const { propName, predJSON, paramName, freeVars } = match;
+      const currentIndex = (ctx.state.currentMemos ?? []).findIndex((m) => m.name === currentMemoName);
+      const envEntries = [];
+      let unresolved = false;
+      for (const name of freeVars) {
+        let goExpr = null;
+        const siblingIndex = (ctx.state.currentMemos ?? []).findIndex((m) => m.name === name);
+        if (siblingIndex >= 0) {
+          const siblingMemo = ctx.state.currentMemos[siblingIndex];
+          const eligible = currentIndex >= 0 && siblingIndex < currentIndex && !resolving.has(siblingMemo.name);
+          if (eligible) {
+            const hoisted = ctx.state.hoistedMemoLocals.get(siblingMemo.name);
+            goExpr = hoisted ?? computeMemoInitialValueOrNull(ctx, siblingMemo, signals, propsParams, propFallbackVars, new Set([...resolving, siblingMemo.name]));
+          }
+        } else {
+          const sig = signals.find((s) => s.getter === name);
+          if (sig) {
+            goExpr = getSignalInitialValueAsGo(ctx, sig.initialValue, propsParams, propFallbackVars);
+          } else {
+            const p = propsParams.find((pp) => pp.name === name);
+            if (p)
+              goExpr = propRef(name);
+          }
+        }
+        if (goExpr === null) {
+          unresolved = true;
+          break;
+        }
+        envEntries.push(`${JSON.stringify(name)}: ${goExpr}`);
+      }
+      if (!unresolved) {
+        const itemsField = `in.${capitalizeFieldName(propName)}`;
+        const envMap = `map[string]any{${envEntries.join(", ")}}`;
+        return `bf.FilterEval(${itemsField}, "${escapeGoString(predJSON)}", ${JSON.stringify(paramName)}, ${envMap})`;
+      }
+    }
+  }
   if (body.kind === "binary" && ["===", "!==", "==", "!="].includes(body.op) && body.right.kind === "literal" && body.right.literalType === "string") {
     const depName = getterCallName(body.left);
     if (depName) {
@@ -1809,8 +1942,8 @@ function memoInitialFromParsedBody(ctx, body, signals, propsParams, propFallback
           condGo = getSignalInitialValueAsGo(ctx, condSignal.initialValue, propsParams, propFallbackVars);
         } else {
           const condMemo = (ctx.state.currentMemos ?? []).find((m) => m.name === condName);
-          if (condMemo) {
-            condGo = computeMemoInitialValueOrNull(ctx, condMemo, signals, propsParams, propFallbackVars);
+          if (condMemo && !resolving.has(condMemo.name)) {
+            condGo = computeMemoInitialValueOrNull(ctx, condMemo, signals, propsParams, propFallbackVars, new Set([...resolving, condMemo.name]));
           }
         }
         if (condGo === "true")
@@ -1884,17 +2017,17 @@ function memoInitialFromParsedBody(ctx, body, signals, propsParams, propFallback
   }
   return null;
 }
-function computeMemoInitialValueOrNull(ctx, memo, signals, propsParams, propFallbackVars = EMPTY_PROP_FALLBACK_VARS2) {
+function computeMemoInitialValueOrNull(ctx, memo, signals, propsParams, propFallbackVars = EMPTY_PROP_FALLBACK_VARS2, resolving = new Set) {
   const computation = memo.computation;
   const tmplMemo = computeTemplateLiteralMemoInitialValue(ctx, memo, propsParams);
   if (tmplMemo !== null)
     return tmplMemo;
   if (memo.parsed) {
-    const fromParsed = memoInitialFromParsedBody(ctx, memo.parsed, signals, propsParams, propFallbackVars);
+    const fromParsed = memoInitialFromParsedBody(ctx, memo.parsed, signals, propsParams, propFallbackVars, memo.name, resolving);
     if (fromParsed !== null)
       return fromParsed;
   }
-  const cmpTernary = computeComparisonTernaryGo(ctx, memo.parsed, signals, propsParams, propFallbackVars);
+  const cmpTernary = computeComparisonTernaryGo(ctx, memo.parsed, signals, propsParams, propFallbackVars, resolving);
   if (cmpTernary !== null)
     return cmpTernary;
   const blockReturn = resolveBlockBodyMemoModuleConst(ctx, memo, signals);
@@ -1906,20 +2039,22 @@ function computeMemoInitialValueOrNull(ctx, memo, signals, propsParams, propFall
     return objMemo;
   return null;
 }
-function resolveGetterValueAsGo(ctx, name, signals, propsParams, propFallbackVars) {
+function resolveGetterValueAsGo(ctx, name, signals, propsParams, propFallbackVars, resolving = new Set) {
   const signal = signals.find((s) => s.getter === name);
   if (signal) {
     return getSignalInitialValueAsGo(ctx, signal.initialValue, propsParams, propFallbackVars);
   }
   const memo = (ctx.state.currentMemos ?? []).find((m) => m.name === name);
   if (memo) {
+    if (resolving.has(memo.name))
+      return null;
     const stripped = memo.computation.replace(/^\(\)\s*=>\s*/, "");
     const fb = ctx.extractPropFallback(stripped);
     if (fb && capitalizeFieldName(fb.propName) === capitalizeFieldName(memo.name)) {
       const field = `in.${capitalizeFieldName(fb.propName)}`;
       return `func() interface{} { v := interface{}(${field}); if v == nil || v == "" { return ${fb.goFallback} }; return v }()`;
     }
-    return computeMemoInitialValueOrNull(ctx, memo, signals, propsParams, propFallbackVars);
+    return computeMemoInitialValueOrNull(ctx, memo, signals, propsParams, propFallbackVars, new Set([...resolving, memo.name]));
   }
   const param = propsParams.find((p) => p.name === name);
   if (param) {
@@ -1928,7 +2063,7 @@ function resolveGetterValueAsGo(ctx, name, signals, propsParams, propFallbackVar
   }
   return null;
 }
-function computeComparisonTernaryGo(ctx, parsed, signals, propsParams, propFallbackVars) {
+function computeComparisonTernaryGo(ctx, parsed, signals, propsParams, propFallbackVars, resolving = new Set) {
   if (!parsed || parsed.kind !== "conditional")
     return null;
   const cond = parsed.test;
@@ -1953,16 +2088,16 @@ function computeComparisonTernaryGo(ctx, parsed, signals, propsParams, propFallb
   const f = branch(parsed.alternate);
   if (t === null || f === null)
     return null;
-  const condGo = resolveComparisonOperandGo(ctx, cond.left, signals, propsParams, propFallbackVars);
+  const condGo = resolveComparisonOperandGo(ctx, cond.left, signals, propsParams, propFallbackVars, resolving);
   if (condGo === null)
     return null;
   const eqBranch = isEq ? t : f;
   const neBranch = isEq ? f : t;
   return `func() string { if ${condGo} == ${JSON.stringify(cond.right.value)} { return ${eqBranch} }; return ${neBranch} }()`;
 }
-function resolveComparisonOperandGo(ctx, node, signals, propsParams, propFallbackVars) {
+function resolveComparisonOperandGo(ctx, node, signals, propsParams, propFallbackVars, resolving = new Set) {
   if (node.kind === "call" && node.callee.kind === "identifier" && node.args.length === 0) {
-    return resolveGetterValueAsGo(ctx, node.callee.name, signals, propsParams, propFallbackVars);
+    return resolveGetterValueAsGo(ctx, node.callee.name, signals, propsParams, propFallbackVars, resolving);
   }
   if (node.kind === "logical" && node.op === "??" && node.right.kind === "literal" && node.right.literalType === "string") {
     const propName = propsAccessNameFromParsed2(ctx, node.left);
@@ -2341,7 +2476,18 @@ class GoTemplateAdapter extends BaseAdapter {
     this.state.currentMemos = ir.metadata.memos ?? [];
     this.state.currentTypeDefinitions = ir.metadata.typeDefinitions ?? [];
     this.state.contextConsumers = collectContextConsumers(ir.metadata);
-    this.state.searchParamsLocals = searchParamsLocalNames(ir.metadata);
+    this.state.ssrSeedPlan = ir.metadata.ssrSeedPlan ?? computeSsrSeedPlan(ir.metadata);
+    this.state.envSignalReadersByLocal = new Map;
+    this.state.searchParamsLocals = new Set;
+    for (const step of this.state.ssrSeedPlan.steps) {
+      if (step.kind !== "env-reader")
+        continue;
+      const reader = envSignalReaderFor(step.reader.key);
+      if (reader)
+        this.state.envSignalReadersByLocal.set(step.name, reader);
+      if (step.reader.key === "search")
+        this.state.searchParamsLocals.add(step.name);
+    }
     this.state.loweringMatchers = prepareLoweringMatchers(ir.metadata);
     augmentInheritedPropAccesses(ir);
   }
@@ -2845,6 +2991,28 @@ ${goFields.join(`
     if (propFallbackVars.size > 0)
       lines.push("");
     this.emitDynamicBodyWrappers(lines, ir, componentName, dynamicWithBody, propFallbackVars, emittedWrapperVars);
+    const memoPropsParamMap = new Map(ir.metadata.propsParams.map((p) => [p.name, p]));
+    this.state.hoistedMemoLocals = new Map;
+    const hoistNames = new Set;
+    for (const memo of ir.metadata.memos) {
+      for (const name of filterArmEarlierSiblingRefs(this.emitCtx, memo, ir.metadata.signals, ir.metadata.propsParams)) {
+        hoistNames.add(name);
+      }
+    }
+    if (hoistNames.size > 0) {
+      for (const memo of ir.metadata.memos) {
+        if (!hoistNames.has(memo.name))
+          continue;
+        const goType = this.inferMemoType(memo, ir.metadata.signals, memoPropsParamMap);
+        const value = computeMemoInitialValue(this.emitCtx, memo, ir.metadata.signals, ir.metadata.propsParams, propFallbackVars, goType);
+        let localName = `memo${capitalizeFieldName(memo.name)}`;
+        while (GO_KEYWORDS.has(localName))
+          localName += "_";
+        lines.push(`	var ${localName} ${goType} = ${value}`);
+        this.state.hoistedMemoLocals.set(memo.name, localName);
+      }
+      lines.push("");
+    }
     lines.push(`	return ${propsTypeName}{`);
     lines.push("\t\tScopeID: scopeID,");
     lines.push("\t\tBfParent: in.BfParent,");
@@ -2918,11 +3086,15 @@ ${goFields.join(`
         continue;
       lines.push(`		${nested.name}s: ${varName},`);
     }
-    const memoPropsParamMap = new Map(ir.metadata.propsParams.map((p) => [p.name, p]));
     for (const memo of ir.metadata.memos) {
       const fieldName = capitalizeFieldName(memo.name);
       if (propFieldNames.has(fieldName))
         continue;
+      const hoistedLocal = this.state.hoistedMemoLocals.get(memo.name);
+      if (hoistedLocal) {
+        lines.push(`		${fieldName}: ${hoistedLocal},`);
+        continue;
+      }
       const goType = this.inferMemoType(memo, ir.metadata.signals, memoPropsParamMap);
       const memoValue = computeMemoInitialValue(this.emitCtx, memo, ir.metadata.signals, ir.metadata.propsParams, propFallbackVars, goType);
       lines.push(`		${fieldName}: ${memoValue},`);
@@ -3611,12 +3783,14 @@ ${goFields.join(`
       }
       const memo = memos.find((m) => m.name === getterName);
       if (memo) {
-        return computeMemoInitialValueOrNull(this.emitCtx, memo, signals, propsParams);
+        return computeMemoInitialValueOrNull(this.emitCtx, memo, signals, propsParams, undefined, new Set([memo.name]));
       }
     }
     return null;
   }
   inferMemoType(memo, signals, propsParamMap) {
+    if (isListFilterMemo(memo))
+      return "[]any";
     if (memo.bodyIsTemplateLiteral)
       return "string";
     if (memo.computation.includes("*") || memo.computation.includes("/") || memo.computation.includes("+") || memo.computation.includes("-")) {
@@ -4138,7 +4312,7 @@ ${goFields.join(`
     "some"
   ]);
   higherOrderShapeOf(node) {
-    const cb = asCallbackMethodCall(node);
+    const cb = asCallbackMethodCall3(node);
     if (!cb)
       return null;
     if (!GoTemplateAdapter.PREDICATE_METHODS.has(cb.method))
@@ -4213,6 +4387,12 @@ ${goFields.join(`
         return evalForm;
       return this.pushCallbackBF101(method, true);
     }
+    if (method === "map") {
+      const evalForm = emitMapEval(recv, body, params[0] ?? "_", emit);
+      if (evalForm !== null)
+        return evalForm;
+      return this.pushCallbackBF101(method, true);
+    }
     return this.pushCallbackBF101(method, true);
   }
   arrayMethod(method, object, args, emit) {
@@ -4566,6 +4746,9 @@ ${goFields.join(`
         if (expr.callee.kind === "identifier" && expr.args.length === 0) {
           return `$.${capitalizeFieldName(expr.callee.name)}`;
         }
+        if (asCallbackMethodCall3(expr) !== null) {
+          return this.refuseFilterExprNode(expr);
+        }
         const result = this.renderFilterExpr(expr.callee, param, localVarMap);
         if (this.filterExprUnsupported)
           return "false";
@@ -4630,21 +4813,23 @@ ${goFields.join(`
         }
         return `or (${left}) (${right})`;
       }
-      default: {
-        this.filterExprUnsupported = true;
-        this.state.errors.push({
-          code: "BF101",
-          severity: "error",
-          message: `Filter predicate contains an expression that cannot be lowered to a Go template action: ${exprToString(expr)}`,
-          loc: this.makeLoc(),
-          suggestion: {
-            message: "Options:\n1. Use /* @client */ for client-side evaluation\n2. Rewrite the predicate to avoid nested higher-order methods (`.filter()` / `.map()` / etc. inside the predicate body)"
-          }
-        });
-        return "false";
-      }
+      default:
+        return this.refuseFilterExprNode(expr);
     }
   }
+  refuseFilterExprNode(expr) {
+    this.filterExprUnsupported = true;
+    this.state.errors.push({
+      code: "BF101",
+      severity: "error",
+      message: `Filter predicate contains an expression that cannot be lowered to a Go template action: ${exprToString(expr)}`,
+      loc: this.makeLoc(),
+      suggestion: {
+        message: "Options:\n1. Use /* @client */ for client-side evaluation\n2. Rewrite the predicate to avoid nested higher-order methods (`.filter()` / `.map()` / etc. inside the predicate body)"
+      }
+    });
+    return "false";
+  }
   isGoFunctionCall(expr) {
     switch (expr.kind) {
       case "binary":
@@ -4898,7 +5083,7 @@ ${goFields.join(`
           });
           return plain("false");
         }
-        if (asCallbackMethodCall(expr)) {
+        if (asCallbackMethodCall3(expr)) {
           const rendered = this.renderParsedExpr(expr);
           const split = this.splitPreamble(rendered);
           if (split)