@barefootjs/erb 0.31.6 → 0.31.7

package/dist/conformance-pins.d.ts

@@ -1,12 +1,10 @@
 /**
- * Per-fixture build-time contracts for shapes the ERB adapter
- * intentionally refuses to lower. Mirrors mojo's set — the lowering
- * gates (`isLowerableLoopDestructure`, `collectImportedLoopChild
- * ComponentErrors`, `refuseUnsupportedAttrExpression`, the #2038
- * nested-higher-order-callback gate) are shared code in `@barefootjs/jsx`
- * that every EP/ERB-family adapter reuses verbatim. Consumed by this
- * package's own conformance test (as `expectedDiagnostics`) and by
- * `bf compat` (issue-URL attribution).
+ * Per-fixture build-time contracts for shapes this adapter intentionally
+ * refuses to lower. Declared per adapter, not on the shared fixtures, so
+ * adding a new adapter never touches a cross-adapter file. Per-fixture
+ * rationale lives on each fixture's docstring
+ * (`packages/adapter-tests/fixtures/<id>.ts`) and spec/callback-fidelity.md;
+ * comments below only mark where this adapter's set diverges from siblings.
  */
 import type { ConformancePins } from '@barefootjs/jsx';
 export declare const conformancePins: ConformancePins;

package/dist/conformance-pins.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"conformance-pins.d.ts","sourceRoot":"","sources":["../src/conformance-pins.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAA;AAEtD,eAAO,MAAM,eAAe,EAAE,eAkJ7B,CAAA"}
+{"version":3,"file":"conformance-pins.d.ts","sourceRoot":"","sources":["../src/conformance-pins.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAA;AAEtD,eAAO,MAAM,eAAe,EAAE,eAwC7B,CAAA"}

package/dist/index.js

@@ -189269,7 +189269,8 @@ var conformancePins = {
     }
   ],
   "filter-nested-find-predicate": [{ code: "BF101", severity: "error", issue: "https://github.com/piconic-ai/barefootjs/issues/2320" }],
-  "date-method-uncatalogued": [{ code: "BF021", severity: "error", issue: "https://github.com/piconic-ai/barefootjs/issues/2356" }]
+  "date-method-uncatalogued": [{ code: "BF021", severity: "error", issue: "https://github.com/piconic-ai/barefootjs/issues/2356" }],
+  "rich-prop-client-read": [{ code: "BF049", severity: "error", issue: "https://github.com/piconic-ai/barefootjs/issues/2648" }]
 };
 // src/render-divergences.ts
 var renderDivergences = {};

package/dist/render-divergences.d.ts

@@ -1,15 +1,10 @@
 /**
- * Render-level divergences against the shared conformance corpus
- * (Priority-12 edge-case sweep, #2168): fixtures that COMPILE clean on
- * this adapter but whose rendered output diverges from the Hono
- * reference on real Ruby erb (or fails at render time).
- *
- * Consumed by this package's conformance test (its `skipJsx` set is
- * derived from these keys, so the skip list and this declaration can't
- * drift) and by `packages/compat`, which publishes the entries in the
- * fixture-divergences section of `ui/compat.lock.json` — surfaced on
- * the docs compatibility-matrix page. Graduating an entry means fixing
- * the adapter (or the shared compiler layer) and deleting the line.
+ * Fixtures that compile clean on this adapter but render divergent from the
+ * Hono reference on real Ruby erb. The conformance `skipJsx` set and
+ * `packages/compat`'s published fixture-divergences both derive from this
+ * one object, so the skip list and the declaration can't drift. Keep the
+ * file even when the set is empty — the next divergence lands here, not in
+ * a re-created file.
  */
 import type { RenderDivergences } from '@barefootjs/jsx';
 export declare const renderDivergences: RenderDivergences;

package/dist/render-divergences.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"render-divergences.d.ts","sourceRoot":"","sources":["../src/render-divergences.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAA;AAExD,eAAO,MAAM,iBAAiB,EAAE,iBAM/B,CAAA"}
+{"version":3,"file":"render-divergences.d.ts","sourceRoot":"","sources":["../src/render-divergences.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAA;AAExD,eAAO,MAAM,iBAAiB,EAAE,iBAC/B,CAAA"}

package/dist/vite.js

@@ -2258,6 +2258,7 @@ var ErrorCodes = {
   COMPONENT_REQUIRED_PROP_MISSING: "BF046",
   JSX_BRANCH_LOCAL_IN_CALLBACK: "BF047",
   SIBLING_COMPONENT_NOT_COMPILED: "BF048",
+  RICH_TYPE_PROP_NOT_HYDRATABLE: "BF049",
   SHARED_PROGRAM_REQUIRED: "BF050",
   WRONG_PACKAGE_IMPORT: "BF051",
   BUILTIN_REQUIRES_IMPORT: "BF054",
@@ -2288,6 +2289,7 @@ var errorMessages = {
   [ErrorCodes.COMPONENT_REQUIRED_PROP_MISSING]: "Built-in component is missing a required prop.",
   [ErrorCodes.JSX_BRANCH_LOCAL_IN_CALLBACK]: "JSX-typed local declared inside an `if`-block cannot be referenced from a callback body (ref / event handler). " + "Render it as a child instead: `<div ref={...}>{local}</div>`.",
   [ErrorCodes.SIBLING_COMPONENT_NOT_COMPILED]: "Referenced component did not compile to a template, so this reference would throw " + "`ReferenceError` at render time. Multi-return JSX dispatch (a `switch` or `if`/`else` " + "chain across multiple JSX-returning branches) cannot compile as a component in a " + `'use client' file. Extract it to a separate non-"use client" file (where it is preserved ` + "verbatim, see #932), or rewrite it as a single-return ternary/conditional chain so the " + "component pipeline can compile it.",
+  [ErrorCodes.RICH_TYPE_PROP_NOT_HYDRATABLE]: "Rich-typed prop cannot cross the bf-p hydration boundary as JSON.",
   [ErrorCodes.SHARED_PROGRAM_REQUIRED]: "Shared ts.Program required for type-based reactivity classification. This source imports a Reactive<T>-branded library (e.g. @barefootjs/form) whose getters cannot be classified by regex alone. Pass `options.program` (built via `createProgramForCorpus`) so the analyzer can resolve the brand through the TypeChecker.",
   [ErrorCodes.WRONG_PACKAGE_IMPORT]: "Import from wrong package.",
   [ErrorCodes.BUILTIN_REQUIRES_IMPORT]: "Built-in <Async> / <Region> must be imported from '@barefootjs/client'. " + "The compiler recognises these tags by their import (not by tag name), " + "so an unimported tag with this name is treated as an undeclared component.",
@@ -2321,6 +2323,8 @@ var HOST_RICH_TYPE_NAMES = new Set([
   "BigInt",
   "Function"
 ]);
+var JSON_REVIVABLE_RICH_TYPE_NAMES = new Set(["Date", "URL"]);
+var JSON_UNSAFE_RICH_TYPE_NAMES = new Set([...HOST_RICH_TYPE_NAMES].filter((n) => !JSON_REVIVABLE_RICH_TYPE_NAMES.has(n)));
 function baseTypeName(raw) {
   const idx = raw.indexOf("<");
   return (idx === -1 ? raw : raw.slice(0, idx)).trim();

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@barefootjs/erb",
-  "version": "0.31.6",
+  "version": "0.31.7",
   "description": "ERB (Embedded Ruby) adapter for BarefootJS — compiles IR to .erb templates and ships the Ruby rendering backend; runs under any Rack app (Sinatra, Rails)",
   "type": "module",
   "main": "./dist/index.js",
@@ -54,7 +54,7 @@
     "directory": "packages/adapter-erb"
   },
   "dependencies": {
-    "@barefootjs/shared": "0.31.6"
+    "@barefootjs/shared": "0.31.7"
   },
   "peerDependencies": {
     "@barefootjs/jsx": ">=0.2.0",
@@ -71,9 +71,9 @@
   },
   "devDependencies": {
     "@barefootjs/adapter-tests": "0.1.0",
-    "@barefootjs/jsx": "0.31.6",
-    "@barefootjs/vite": "0.31.6",
-    "@barefootjs/client": "0.31.6",
+    "@barefootjs/jsx": "0.31.7",
+    "@barefootjs/vite": "0.31.7",
+    "@barefootjs/client": "0.31.7",
     "typescript": "^5.0.0",
     "vite": "^6.0.0"
   }

package/src/conformance-pins.ts

@@ -1,89 +1,33 @@
 /**
- * Per-fixture build-time contracts for shapes the ERB adapter
- * intentionally refuses to lower. Mirrors mojo's set — the lowering
- * gates (`isLowerableLoopDestructure`, `collectImportedLoopChild
- * ComponentErrors`, `refuseUnsupportedAttrExpression`, the #2038
- * nested-higher-order-callback gate) are shared code in `@barefootjs/jsx`
- * that every EP/ERB-family adapter reuses verbatim. Consumed by this
- * package's own conformance test (as `expectedDiagnostics`) and by
- * `bf compat` (issue-URL attribution).
+ * Per-fixture build-time contracts for shapes this adapter intentionally
+ * refuses to lower. Declared per adapter, not on the shared fixtures, so
+ * adding a new adapter never touches a cross-adapter file. Per-fixture
+ * rationale lives on each fixture's docstring
+ * (`packages/adapter-tests/fixtures/<id>.ts`) and spec/callback-fidelity.md;
+ * comments below only mark where this adapter's set diverges from siblings.
  */
 
 import type { ConformancePins } from '@barefootjs/jsx'
 
 export const conformancePins: ConformancePins = {
-  // Off-subset filter predicate (`typeof`) the compiler can't lower; a
-  // JS-runtime target runs it, a DSL adapter surfaces BF021 + `/* @client */`.
-  // See spec/callback-fidelity.md.
   'filter-typeof-predicate': [{ code: 'BF021', severity: 'error' }],
-  // Array-builder `.map()` body (imperative `push`-into-array preamble):
-  // BF021, with a verified `/* @client */` escape — `map-array-builder-
-  // body-client` (#2613). See that fixture's docstring.
   'map-array-builder-body': [{ code: 'BF021', severity: 'error' }],
   'map-array-builder-escaping': [{ code: 'BF021', severity: 'error' }],
-  // `.fill(value)` mutates the receiver in place — no template lowering
-  // on any DSL adapter; a JS-runtime target runs it, a DSL adapter
-  // surfaces BF101 + `/* @client */`. See spec/callback-fidelity.md.
   'fill-unsupported': [{ code: 'BF101', severity: 'error' }],
-  // Off-subset `.find()` / `.some()` / `.every()` predicate (`typeof`) the
-  // compiler can't lower; a JS-runtime target runs it, a DSL adapter
-  // surfaces BF101 + `/* @client */`. See spec/callback-fidelity.md.
   'find-typeof-predicate': [{ code: 'BF101', severity: 'error' }],
   'some-typeof-predicate': [{ code: 'BF101', severity: 'error' }],
   'every-typeof-predicate': [{ code: 'BF101', severity: 'error' }],
-  // Off-subset `.reduce()` / `.reduceRight()` body / `.flatMap()`
-  // projection (`typeof`) the compiler can't lower; a JS-runtime target
-  // runs it, a DSL adapter surfaces BF101 + `/* @client */`.
-  // See spec/callback-fidelity.md.
   'reduce-typeof-body': [{ code: 'BF101', severity: 'error' }],
   'reduce-right-typeof-body': [{ code: 'BF101', severity: 'error' }],
   'flatmap-typeof-projection': [{ code: 'BF101', severity: 'error' }],
-  // JSX-returning `.flatMap()` body carried as structured segments — i.e.
-  // one with STATEMENTS (early returns, consts): a JS runtime executes it
-  // verbatim; a DSL template runtime can't, so it refuses with BF021 +
-  // `/* @client */` (pre-gate this emitted an empty loop body — silent
-  // divergence). A pure PROJECTION body (`flatMap(it => it.tags.map(...))`,
-  // e.g. the `flatmap-expression-body` fixture) is NOT pinned: it lowers to
-  // neutral nested-loop IR this adapter templatizes natively.
-  // See spec/callback-fidelity.md.
+  // A pure PROJECTION flatMap body (`flatmap-expression-body`) is NOT pinned —
+  // it lowers to neutral nested-loop IR this adapter templatizes natively;
+  // only the statement-carrying body refuses.
   'tag-cloud': [{ code: 'BF021', severity: 'error' }],
-  // A keyed `.map()` row body whose preamble builds a JSX leaf from item
-  // state (`cells.push(<td>{stateLabel}</td>)`) embedded as `{cells}` — the
-  // Stage 3 array-builder carrier, jsRuntime-only: a JS runtime runs it
-  // verbatim (and patches the region on same-key updates, #2389), a DSL
-  // adapter refuses with BF021 + `/* @client */`. See spec/callback-fidelity.md.
   'preamble-cells': [{ code: 'BF021', severity: 'error' }],
-  // `todo-app` / `todo-app-ssr` no longer pinned (#2205) — the conformance
-  // harness now passes `siblingTemplatesRegistered: true` for fixtures with
-  // sibling `components`, matching `bf build`'s real semantics, so the
-  // BF103 loop-body cross-template check no longer fires spuriously. (Both
-  // fixtures are still skipped on this adapter via `render-divergences.ts`
-  // — #2209 — for an unrelated signal-seeding gap.)
-  // `static-array-children` no longer pinned (#2208) — `items`'s
-  // array-literal initializer is now recognized as fully-static
-  // (`resolveStaticLoopSource`) and inlined as a native Ruby array/hash
-  // literal in the loop-bound expression, the same way a module-scope
-  // const's value is already seeded.
-  // `static-array-from-props` / `static-array-from-props-with-component`:
-  // the `.map(([emoji, users]) => …)` / `.map(([id, t]) => …)` callback is
-  // a plain array-index destructure (the `.filter(...)` runs on a
-  // separate `const entries = …` statement, so `loop.filterPredicate` is
-  // unset — this is not the `.filter().map(destructure)` chain
-  // `isLowerableLoopDestructure` still refuses), and #2087 Phase B's
-  // segments-walking accessor DOES lower it natively. But both fixtures'
-  // loop array is that same `entries` — a component-scope `const`
-  // computed from `Object.entries(props.x).filter(...)`, a runtime
-  // expression the ERB adapter has no mechanism to evaluate at SSR
-  // render time (only a pure-literal or module-string const is ever
-  // inlined; a computed const falls through to an unseeded `v[:entries]`
-  // and crashes). This is a pre-existing, orthogonal gap the widened
-  // destructure gate merely exposes — it reproduces identically with a
-  // non-destructured param (verified) — not a destructure-lowering
-  // limitation, so it is NOT part of #2087's scope. Tracked as its own
-  // gap under https://github.com/piconic-ai/barefootjs/issues/2321;
-  // pinned honestly as BF101 (the adapter's own check, see `renderLoop`'s
-  // "Loop array is a bare identifier..." comment) rather than faked as
-  // BF104 or silently producing broken Ruby.
+  // Refused for the COMPUTED loop array (`const entries = Object.entries(...)
+  // .filter(...)`), not the destructure param (that lowers, #2087) — loud
+  // BF101 instead of silently iterating an unbound name zero times.
   'static-array-from-props': [
     {
       code: 'BF101',
@@ -91,8 +35,7 @@ export const conformancePins: ConformancePins = {
       issue: 'https://github.com/piconic-ai/barefootjs/issues/2321',
     },
   ],
-  // BF103 (imported child in the loop body) no longer fires now that the
-  // conformance harness passes `siblingTemplatesRegistered: true` (#2205).
+  // No BF103 pin: the harness registers sibling templates (#2205).
   'static-array-from-props-with-component': [
     {
       code: 'BF101',
@@ -100,61 +43,10 @@ export const conformancePins: ConformancePins = {
       issue: 'https://github.com/piconic-ai/barefootjs/issues/2321',
     },
   ],
-  // #2087 Phase B: `isLowerableLoopDestructure` now admits every fixed-
-  // binding shape (any field/index depth — `destructure-array-index-in-map`,
-  // `destructure-nested-object-in-map`), array-rest (`rest-destructure-
-  // array-in-map`, native `bf.slice`), and object-rest whose every use is a
-  // member read or a `{...rest}` spread onto an intrinsic element
-  // (`rest-destructure-object-in-map`, `rest-destructure-object-spread-in-
-  // map`, `rest-destructure-nested-in-map` — native `Hash#except` builds a
-  // true residual Hash). None of the six destructure-in-map fixtures are
-  // pinned here any more; all render to Hono parity. See
-  // `rubyAccessorFromSegments` / the object-rest-in-loop branch in
-  // `erb-adapter.ts`'s `renderLoop`.
-  // #2038: a filter predicate containing a nested `.find(...)` callback.
-  // `find*` returns an element, not a boolean — there is no inline
-  // predicate form, and the emitter used to silently degrade the call to
-  // its receiver. The nested `.some` sibling
-  // (`filter-nested-callback-predicate`) is NOT pinned: like mojo, ERB
-  // lowers it to a real inline Ruby block predicate and must render to
-  // Hono parity instead.
-  // Faithful lowering tracked: https://github.com/piconic-ai/barefootjs/issues/2320 (successor to #2038)
+  // Only the `.find` variant is pinned — `find*` returns an element, not a
+  // boolean, so there is no inline predicate form; the nested-`.some` sibling
+  // lowers to a real inline Ruby block and must render to Hono parity instead.
   'filter-nested-find-predicate': [{ code: 'BF101', severity: 'error', issue: 'https://github.com/piconic-ai/barefootjs/issues/2320' }],
-  // #1467 demo-corpus context providers (`radio-group`, `accordion`,
-  // `dialog`, `popover`, `select`, `dropdown-menu`, `combobox`,
-  // `command`) are NOT pinned — an object-literal provider value lowers
-  // to a Ruby Hash via `parseProviderObjectLiteral` (#1897): getter
-  // members snapshot their body's SSR value, handler / function-shaped
-  // members lower to `nil`.
-  //
-  // `button` / `kbd` are NOT pinned (unlike xslate): the auto-inferred
-  // `<Slot>` sibling's `{...props}` / `{...children.props}` spread onto
-  // its root element lowers via Ruby's native `**hash` double-splat in
-  // the component-invocation Hash literal — the same shape mojo's EP
-  // `%{$props}` flatten already handles.
-  //
-  // `data-table` is NOT pinned here either — it compiles clean
-  // (`selected()[index]` → `index-access`, `.toFixed(2)` →
-  // `bf.to_fixed`, `/* @client */` memo SSR-folded) and renders to Hono
-  // parity. It stays in `skipMarkerConformance` below for the shared
-  // `/* @client */` keyed-map slot-id elision contract only (same as
-  // `todo-app`), not a render or BF101 gap.
-  //
-  // `array-map-function-reference` no longer pinned — a bare-identifier
-  // `.map(format)` callback now resolves one hop to its declaration
-  // (`resolveCallbackMethodFunctionReferences`, #2206), the same mechanism
-  // #2090 established for `.sort(fnref)`.
-  // `dangerous-inner-html` no longer pinned — a compile-time string-literal
-  // `dangerouslySetInnerHTML={{ __html: '...' }}` is spliced directly into
-  // the template as trusted raw text (`resolveDangerousInnerHtml`, #2207).
-  // A dynamic/signal-derived value now lowers through ERB's unescaped
-  // `<%= %>` (dropping the `bf.h(...)` escape wrap, #2319) — `dangerous-inner-
-  // html-dynamic` is no longer pinned and renders to Hono parity, same as the
-  // static case.
-  // #2273: a method call on a prop typed as a built-in host rich type
-  // (Date, Map, …) has no catalogued lowering in any adapter — this is a
-  // compiler-level refusal (`checkRichTypeMethodCalls`, wired ahead of
-  // `adapter.generate()`), not an adapter-specific gap, so it is pinned
-  // identically across every adapter package including Hono.
   'date-method-uncatalogued': [{ code: 'BF021', severity: 'error', issue: 'https://github.com/piconic-ai/barefootjs/issues/2356' }],
+  'rich-prop-client-read': [{ code: 'BF049', severity: 'error', issue: 'https://github.com/piconic-ai/barefootjs/issues/2648' }],
 }

package/src/render-divergences.ts

@@ -1,23 +1,13 @@
 /**
- * Render-level divergences against the shared conformance corpus
- * (Priority-12 edge-case sweep, #2168): fixtures that COMPILE clean on
- * this adapter but whose rendered output diverges from the Hono
- * reference on real Ruby erb (or fails at render time).
- *
- * Consumed by this package's conformance test (its `skipJsx` set is
- * derived from these keys, so the skip list and this declaration can't
- * drift) and by `packages/compat`, which publishes the entries in the
- * fixture-divergences section of `ui/compat.lock.json` — surfaced on
- * the docs compatibility-matrix page. Graduating an entry means fixing
- * the adapter (or the shared compiler layer) and deleting the line.
+ * Fixtures that compile clean on this adapter but render divergent from the
+ * Hono reference on real Ruby erb. The conformance `skipJsx` set and
+ * `packages/compat`'s published fixture-divergences both derive from this
+ * one object, so the skip list and the declaration can't drift. Keep the
+ * file even when the set is empty — the next divergence lands here, not in
+ * a re-created file.
  */
 
 import type { RenderDivergences } from '@barefootjs/jsx'
 
 export const renderDivergences: RenderDivergences = {
-  // `todo-app` / `todo-app-ssr` no longer diverge (#2209) — the shared
-  // `evaluateSignalInit` (`@barefootjs/jsx`, sandboxed real-JS evaluation
-  // instead of a fixed regex-shape catalogue) now correctly seeds `todos`
-  // from `(props.initialTodos ?? []).map(t => ({ ...t, editing: false }))`.
-
 }