@barefootjs/jinja 0.31.6 → 0.31.8

package/dist/conformance-pins.d.ts

@@ -1,11 +1,10 @@
 /**
- * Per-fixture build-time contracts for shapes the Jinja adapter
- * intentionally refuses to lower. Mirrors xslate's set — the lowering
- * gates are shared code paths in the ported adapter (BF103/BF104 are
- * structural: cross-template child registration / destructure-loop-param
- * limits that apply identically regardless of target template language).
- * 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;;;;;;;;GAQG;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,eA+C7B,CAAA"}

package/dist/index.js

@@ -189250,7 +189250,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 Python jinja2.
- *
- * 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 Python jinja2. 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

@@ -2310,6 +2310,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",
@@ -2340,6 +2341,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.",
@@ -2373,6 +2375,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/jinja",
-  "version": "0.31.6",
+  "version": "0.31.8",
   "description": "Jinja2 adapter for BarefootJS — compiles IR to .jinja templates and ships the Python BarefootJS rendering runtime; runs under any Python web framework (Flask, etc.)",
   "type": "module",
   "main": "./dist/index.js",
@@ -53,7 +53,7 @@
     "directory": "packages/adapter-jinja"
   },
   "dependencies": {
-    "@barefootjs/shared": "0.31.6"
+    "@barefootjs/shared": "0.31.8"
   },
   "peerDependencies": {
     "@barefootjs/jsx": ">=0.2.0",
@@ -70,9 +70,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,89 +1,33 @@
 /**
- * Per-fixture build-time contracts for shapes the Jinja adapter
- * intentionally refuses to lower. Mirrors xslate's set — the lowering
- * gates are shared code paths in the ported adapter (BF103/BF104 are
- * structural: cross-template child registration / destructure-loop-param
- * limits that apply identically regardless of target template language).
- * 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 Jinja list/dict
-  // literal in the `{% for %}` header, the same way a module-scope const's
-  // value is already seeded.
-  // #2087 Phase A/B widened the destructure gate (`isLowerableLoopDestructure`)
-  // to admit array-index / nested-path fixed bindings, so the
-  // `([emoji, users]) => ...` / `([id, t]) => ...` params in these two
-  // fixtures no longer trip BF104 — the destructure itself now lowers
-  // cleanly to a native `{% set %}` accessor. But both fixtures' loop
-  // array is `entries`, a bare identifier bound to a function-scope local
-  // const with a NON-inlineable initializer
-  // (`Object.entries(props.x ?? {}).filter(...)`) — a pre-existing,
-  // orthogonal limitation this adapter has always had (it only ever
-  // INLINES a local const's value at its use site — numeric/string
-  // literal, or a static-record-literal lookup — never binds one as a
-  // `{% set %}` template local), just never reachable before because the
-  // narrower pre-#2087 gate refused the destructure param first. Left
-  // unhandled it would silently render an EMPTY list (Jinja's
-  // `ChainableUndefined` tolerates iterating an unbound name as zero
-  // iterations) instead of failing loudly, so `renderLoop` in
-  // `jinja-adapter.ts` now detects this shape and raises BF101 instead —
-  // see the "Loop array `<name>` is a local computed value" diagnostic.
-  // Fixing the underlying gap (computed-array-from-props as a loop
-  // source) is out of scope for #2087; tracked as a follow-up at
-  // https://github.com/piconic-ai/barefootjs/issues/2321.
+  // Refused for the COMPUTED loop array (`const entries = Object.entries(...)
+  // .filter(...)`), not the destructure param (that lowers, #2087) — loud
+  // BF101 instead of Jinja's ChainableUndefined silently iterating zero times.
   'static-array-from-props': [
     {
       code: 'BF101',
@@ -91,9 +35,7 @@ export const conformancePins: ConformancePins = {
       issue: 'https://github.com/piconic-ai/barefootjs/issues/2321',
     },
   ],
-  // BF101 (unresolvable computed loop array, see above) fires; BF103
-  // (imported child in the loop body) no longer does 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',
@@ -101,59 +43,17 @@ export const conformancePins: ConformancePins = {
       issue: 'https://github.com/piconic-ai/barefootjs/issues/2321',
     },
   ],
-  // Rest-destructure / structured-path `.map()` callbacks (#2087 Phase B):
-  // `isLowerableLoopDestructure` now admits fixed bindings at any
-  // field/index depth, array-rest (`bf.slice`), and object-rest whose uses
-  // are member reads or a `{...rest}` spread onto an intrinsic element
-  // (`bf.omit` builds the TRUE residual dict). Each binding becomes a
-  // native `{% set %}` local off the per-item var — see
-  // `renderLoop`/`jinjaAccessorFromSegments` in `jinja-adapter.ts`. So
-  // `rest-destructure-object-in-map`, `rest-destructure-object-spread-in-map`,
-  // `rest-destructure-array-in-map`, `rest-destructure-nested-in-map`,
-  // `destructure-array-index-in-map`, and `destructure-nested-object-in-map`
-  // all render clean now — none of them are pinned here.
-  // (button/kbd graduated: the site/ui Button/Kbd `<Slot>` `{...props}` /
-  // `{...children.props}` component-spread now lowers via nested
-  // `dict(base, **top)` calls — see `jinja-adapter.ts`'s `renderComponent`
-  // — instead of refusing with BF101, so these two no longer need a pin
-  // here.)
-  // (`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 => …)`). Jinja
-  // has no inline comprehension-with-nested-callback form usable from the
-  // evaluator-JSON `*_eval` payload mechanism (this adapter's ONLY
-  // higher-order-callback lowering path — see `jinja-adapter.ts`'s file
-  // header, divergence 3), so the compiler is loud (BF101) instead of
-  // lossy, same as xslate. 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: no inline comprehension-with-nested-callback form via the
+  // evaluator-JSON `*_eval` mechanism (`jinja-adapter.ts`'s header,
+  // divergence 3) — loud BF101 instead of lossy.
   '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 — like xslate (unlike mojo, which
-  // refuses them), Jinja lowers them to `bf.find_eval` / `find_index_eval`
-  // / etc. via the same evaluator-JSON 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 Jinja's `| safe` 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), Jinja lowers them via the
+  // same evaluator-JSON 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 Python jinja2.
- *
- * 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 Python jinja2. 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 }))`.
-
 }