@barefootjs/xslate 0.31.6 → 0.31.8

package/dist/conformance-pins.d.ts

@@ -1,9 +1,10 @@
 /**
- * Per-fixture build-time contracts for shapes the Xslate adapter
- * intentionally refuses to lower. Mirrors mojo's set — the lowering
- * gates are shared code paths in the ported adapter. 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;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAA;AAEtD,eAAO,MAAM,eAAe,EAAE,eAkK7B,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,eA+C7B,CAAA"}

package/dist/index.js

@@ -189183,7 +189183,8 @@ var conformancePins = {
     { code: "BF101", severity: "error", issue: "https://github.com/piconic-ai/barefootjs/issues/2320" }
   ],
   "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 Text::Xslate.
- *
- * 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 Text::Xslate. 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/lib/BarefootJS/Backend/Xslate.pm

@@ -1,5 +1,5 @@
 package BarefootJS::Backend::Xslate;
-our $VERSION = "0.31.5";
+our $VERSION = "0.31.7";
 use strict;
 use warnings;
 use utf8;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@barefootjs/xslate",
-  "version": "0.31.6",
+  "version": "0.31.8",
   "description": "Text::Xslate (Kolon) adapter for BarefootJS — compiles IR to .tx templates and ships the Xslate rendering backend; runs under any PSGI/Plack app",
   "type": "module",
   "main": "./dist/index.js",
@@ -55,7 +55,7 @@
     "directory": "packages/adapter-xslate"
   },
   "dependencies": {
-    "@barefootjs/shared": "0.31.6"
+    "@barefootjs/shared": "0.31.8"
   },
   "peerDependencies": {
     "@barefootjs/jsx": ">=0.2.0",
@@ -72,9 +72,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.8",
+    "@barefootjs/vite": "0.31.8",
+    "@barefootjs/client": "0.31.8",
     "typescript": "^5.0.0",
     "vite": "^6.0.0"
   }

package/src/conformance-pins.ts

@@ -1,77 +1,33 @@
 /**
- * Per-fixture build-time contracts for shapes the Xslate adapter
- * intentionally refuses to lower. Mirrors mojo's set — the lowering
- * gates are shared code paths in the ported adapter. 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 Kolon array/hash
-  // literal in the `for EXPR -> $item` header, the same way a module-scope
-  // const's value is already seeded.
-  // `([emoji, users]) => ...` / `([id, t]) => ...` are plain array-index
-  // (tuple) destructures, no rest — #2087 Phase B's `segments`-walking
-  // accessor lowers both to `$__bf_item[0]` / `$__bf_item[1]` `: my` locals
-  // like any other fixed binding, so BF104 no longer fires for either
-  // fixture. Each now hits a DIFFERENT, pre-existing, orthogonal gap
-  // instead: the loop array (`entries`) is a function-scope local const
-  // with a computed initializer (`Object.entries(props.x ?? {}).filter(...)`)
-  // that the adapter can't bind as a template variable — see the dedicated
-  // `arrayConst` BF101 check in `renderLoop`. This was always true; it was
-  // simply unreachable before because BF104 refused the destructure shape
-  // first.
+  // 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',
@@ -79,10 +35,7 @@ export const conformancePins: ConformancePins = {
       issue: 'https://github.com/piconic-ai/barefootjs/issues/2321',
     },
   ],
-  // The BF101 above fires; BF104 no longer does (see above), and BF103
-  // (sibling-imported `<Tag>` child component in the loop body) no longer
-  // does either 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',
@@ -90,84 +43,17 @@ export const conformancePins: ConformancePins = {
       issue: 'https://github.com/piconic-ai/barefootjs/issues/2321',
     },
   ],
-  // #1310 / #2087: rest destructure in .map() callback. All four shapes now
-  // lower via #2087 Phase B's `segments`-walking accessor:
-  //   - object-rest read via member access (`rest-destructure-object-in-map`):
-  //     `$bf.omit($__bf_item, [...exclude keys...])`, `$rest.flag` reads the
-  //     residual hashref.
-  //   - object-rest spread onto the root element
-  //     (`rest-destructure-object-spread-in-map`): same `$bf.omit(...)`
-  //     residual, forwarded via the existing `$bf.spread_attrs($rest)` path.
-  //   - array-rest (`rest-destructure-array-in-map`): `$bf.slice($__bf_item,
-  //     N, nil)` — the same runtime helper `.slice()` JS-method calls use.
-  //   - nested rest inside an object pattern (`rest-destructure-nested-in-map`):
-  //     the parent-prefix accessor (`$__bf_item.cells`) feeds the same
-  //     `$bf.slice(...)` call.
-  // None of these are pinned here anymore.
-  // (button/kbd graduated: the site/ui Button/Kbd `<Slot>` `{...props}` /
-  // `{...children.props}` component-spread now lowers via Kolon's builtin
-  // `.merge(...)` method chain — see `xslate-adapter.ts`'s
-  // `renderComponent` — instead of refusing with BF101, so these two no
-  // longer need a pin here.)
-  // #1467 demo-corpus context providers (`radio-group`, `select`,
-  // `dropdown-menu`, `combobox`, `command`) are no longer pinned — an
-  // object-literal provider value (`{ value: currentValue,
-  // onValueChange: (v) => {…} }`) lowers to a Kolon hashref via
-  // `parseProviderObjectLiteral` (#1897): getter members snapshot
-  // their body's SSR value, handler / function-shaped members lower
-  // to `nil`. The command demo's `ref={(el) => {…}}` function prop on
-  // an imported component is skipped at SSR like `on*` handlers.
-  //
-  // #1467 Phase 2e: `data-table` is no longer pinned here — it
-  // compiles clean now (`selected()[index]` → `index-access`,
-  // `.toFixed(2)` → `$bf.to_fixed`, `/* @client */` memo SSR-folded)
-  // and renders to Hono parity on real Text::Xslate. The keyed-loop
-  // scope-ID divergence (#1896) was fixed by the body-children
-  // `inLoop` reset (loop-item children get `_bf_slot`); data-table is
-  // off `skipJsx` entirely and only kept in `skipMarkerConformance`
-  // below for the shared `/* @client */` keyed-map slot-id elision
-  // contract (same as `todo-app`), not a render or BF101 gap.
-  // `style-3-signals` / `style-object-dynamic` no longer pinned — a
-  // `style={{ … }}` object literal now lowers to a CSS string with dynamic
-  // values interpolated (`background-color:<: $color :>;padding:8px`) via
-  // `tryLowerStyleObject` (#1322).
-  // (`tagged-template-classname` graduated by #2092 — the tag resolves
-  // through the interleave-tag catalogue and desugars to an untagged
-  // template literal, so it lowers like any other className template.)
-  // #2038: a filter predicate whose body contains a NESTED callback call
-  // (`t => !picked().some(p => …)` / `t => picked().find(p => …)`). Kolon
-  // has no inline `grep` form, so `XslateFilterEmitter.callbackMethod` used
-  // to degrade the inner call to its receiver, silently changing predicate
-  // semantics — the compiler is loud instead of lossy. (Mojo is pinned only
-  // for the `.find` variant: it lowers a nested `.some` to a real inline
-  // Perl `grep`.) The `/* @client */` twin
-  // (`filter-nested-callback-predicate-client`) has no pin here: it must
-  // render clean on every adapter, which asserts the suppression contract.
-  // Faithful lowering tracked: https://github.com/piconic-ai/barefootjs/issues/2320 (successor to #2038)
+  // #2038: Kolon has no inline `grep` form (unlike mojo, which lowers a
+  // nested `.some` to a real inline Perl `grep`) — loud BF101 instead of the
+  // old silent degradation to the receiver.
   'filter-nested-callback-predicate': [
     { code: 'BF101', severity: 'error', issue: 'https://github.com/piconic-ai/barefootjs/issues/2320' },
   ],
   'filter-nested-find-predicate': [{ code: 'BF101', severity: 'error', issue: 'https://github.com/piconic-ai/barefootjs/issues/2320' }],
-  // NB: TOP-LEVEL `.find` / `.findIndex` / `.findLast` / `.findLastIndex`
-  // (text position) are NOT pinned here — unlike mojo (which refuses them),
-  // Xslate lowers them to `$bf.find` / `find_index` / `find_last` /
-  // `find_last_index` via the same Kolon-lambda mechanism as `.filter` /
-  // `.every` / `.some`, so they render. Only the NESTED-in-a-predicate form
-  // above is refused (#2038).
-  // `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 Kolon's `mark_raw`
-  // filter (#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.
+  // Top-level `.find`/`.findIndex`/`.findLast`/`.findLastIndex` are NOT
+  // pinned — unlike mojo (which refuses them), Xslate lowers them via the
+  // same Kolon-lambda mechanism as `.filter`/`.some`. Only the nested form
+  // above is refused.
   '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 Text::Xslate.
- *
- * 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 Text::Xslate. 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 }))`.
-
 }