lecodes-sdk 1.1.0 → 2.0.0

package/src/plugins/gen/map/contract.d.ts

@@ -0,0 +1,144 @@
+// GENERATED by scripts/vendor-plugins.ts from lecodes-plugins/plugins/map/contract.d.ts — do not edit here.
+// Change it in the plugin repo and run `bun run vendor:plugins`; `bun run check:plugins` fails when this copy is stale.
+// map — a vector map (maplibre-native on iOS / Android, maplibre-gl in the browser).
+// The wire is lower than the app-facing `MapView`: the wrapper in sdk/ resolves a style to a url or
+// to text, turns marker items into GeoJSON, queues calls until `ready` and re-applies the
+// style-lifetime state (layers, data, padding, the user puck) after every style load.
+//
+// The plugin never touches the location hardware: the user puck is fed by the app.
+
+import type { Json, View, f64 } from "../../../plugin"
+
+/** `[longitude, latitude]` — GeoJSON order. */
+export type LngLat = [f64, f64]
+
+export interface MapParams {
+  /** A style URL the map fetches itself. */
+  style?: string
+  /** A style as JSON text; wins over `style`. It has no base url: every url INSIDE it (sources,
+   *  sprite, glyphs) must be absolute. */
+  styleJson?: string
+  center?: LngLat
+  /** Default 12 with a center. */
+  zoom?: f64
+  minZoom?: f64
+  maxZoom?: f64
+  /** Degrees clockwise from north. */
+  bearing?: f64
+  /** Degrees from the vertical. */
+  pitch?: f64
+  /** The two-finger rotate gesture. Default true. */
+  rotate?: boolean
+  /** The two-finger tilt gesture. Default false. */
+  tilt?: boolean
+}
+
+export interface MapCamera {
+  center: LngLat
+  zoom: f64
+  bearing: f64
+  pitch: f64
+}
+
+/** A feature of a managed source under a tap. */
+export interface MapFeature {
+  /** The source's name — the layer's name in the app. */
+  source: string
+  id: string | f64 | null
+  properties: { [key: string]: Json }
+}
+
+export interface MapTap {
+  lngLat: LngLat
+  /** View-space point, logical px. */
+  point: [f64, f64]
+  /** Absent for a tap that hit no feature of a managed source. A tap on a CLUSTER zooms in and
+   *  sends no event. */
+  feature?: MapFeature
+}
+
+export interface MapEvents {
+  /** The style loaded and the map takes calls. Fires again after every style reload. */
+  ready: void
+  tap: MapTap
+  /** The camera settled after a gesture or an animation. */
+  moveEnd: MapCamera
+  /** A problem that is never fatal: a style that would not load, a source out of reach. */
+  error: { message: string }
+}
+
+export type MapLayerKind = "markers" | "line"
+
+/** The keys of both kinds; a half reads the ones of the kind it is asked for. */
+export interface MapLayerOptions {
+  /** markers: group nearby markers (a cluster tap zooms in). Default false. */
+  cluster?: boolean
+  /** markers: px. Default 50. */
+  clusterRadius?: f64
+  /** markers: the zoom at which clusters stop forming. */
+  clusterMaxZoom?: f64
+  /** line. */
+  color?: string
+  /** line: px. Default 4. */
+  width?: f64
+  /** line: 0–1. Default 1. */
+  opacity?: f64
+}
+
+export interface MapCameraMove {
+  zoom?: f64
+  bearing?: f64
+  pitch?: f64
+  /** flyTo only: ms. Default 600. */
+  duration?: f64
+}
+
+/** Px, or a share of the view's size as "NN%". */
+export type MapInset = f64 | string
+
+export interface MapPadding {
+  top?: MapInset
+  left?: MapInset
+  bottom?: MapInset
+  right?: MapInset
+}
+
+export interface MapFitOptions {
+  /** Around the points: px on every edge, or per edge. Added to the view padding. */
+  padding?: f64 | MapPadding
+  /** Default: 16 for one point, none otherwise. */
+  maxZoom?: f64
+  /** Default true. */
+  animate?: boolean
+}
+
+export interface MapUserLocationOptions {
+  /** Meters — the halo around the dot. */
+  accuracy?: f64 | null
+  /** Degrees clockwise from north — the direction wedge; null hides it. */
+  heading?: f64 | null
+}
+
+export interface MapView extends View<"map", MapParams, MapEvents> {
+  /** Make sure the GeoJSON source `source` exists. A source the style declares is used as is (its
+   *  layers draw, only data flows); otherwise the half creates it with the default layers of `kind`.
+   *  @rejects notReady */
+  ensureLayer(source: string, kind: MapLayerKind, options?: MapLayerOptions): Promise<void>
+  removeLayer(source: string): Promise<void>
+  /** Replace the data of a GeoJSON source: a Feature or a FeatureCollection.
+   *  @rejects notReady */
+  setData(source: string, geojson: Json): Promise<void>
+
+  flyTo(center: LngLat, options?: MapCameraMove): Promise<void>
+  jumpTo(center: LngLat, options?: MapCameraMove): Promise<void>
+  /** Fit the camera to the points.
+   *  @rejects noPoints */
+  fitPoints(points: LngLat[], options?: MapFitOptions): Promise<void>
+  /** The part of the view covered by the app's UI; camera moves center inside the rest. */
+  setPadding(padding: MapPadding): Promise<void>
+  /** @rejects notReady */
+  getCamera(): Promise<MapCamera>
+
+  /** Move the user puck; null hides it. */
+  setUserLocation(lngLat: LngLat | null, options?: MapUserLocationOptions): Promise<void>
+}

package/src/plugins/gen/map/sdk/map.gen.ts

@@ -0,0 +1,88 @@
+// GENERATED by scripts/vendor-plugins.ts from lecodes-plugins/plugins/map/sdk/map.gen.ts — do not edit here.
+// Change it in the plugin repo and run `bun run vendor:plugins`; `bun run check:plugins` fails when this copy is stale.
+// GENERATED by `lecodes plugin gen` from contract.d.ts — do not edit.
+// map: the view "map", contract version 1.
+
+import { ViewChannel, type Json } from "../../../../plugin"
+import type { LngLat, MapCamera, MapCameraMove, MapEvents, MapFitOptions, MapLayerKind, MapLayerOptions, MapPadding, MapParams, MapUserLocationOptions } from "../contract"
+
+/** What the halves register under. */
+export const NAME = "map"
+/** The contract's version: the highest `@since` of its members. */
+export const VERSION = 1
+
+// ---- the wire, call by call ----------------------------------------------------------------------
+
+/** Make sure the GeoJSON source `source` exists. A source the style declares is used as is (its
+ *  layers draw, only data flows); otherwise the half creates it with the default layers of `kind`.
+ *  Rejects with "notReady". */
+export const ensureLayer = (view: ViewChannel<MapEvents>, source: string, kind: MapLayerKind, options?: MapLayerOptions): Promise<void> =>
+  view._call("ensureLayer", [source, kind, options])
+
+export const removeLayer = (view: ViewChannel<MapEvents>, source: string): Promise<void> =>
+  view._call("removeLayer", [source])
+
+/** Replace the data of a GeoJSON source: a Feature or a FeatureCollection.
+ *  Rejects with "notReady". */
+export const setData = (view: ViewChannel<MapEvents>, source: string, geojson: Json): Promise<void> =>
+  view._call("setData", [source, geojson])
+
+export const flyTo = (view: ViewChannel<MapEvents>, center: LngLat, options?: MapCameraMove): Promise<void> =>
+  view._call("flyTo", [center, options])
+
+export const jumpTo = (view: ViewChannel<MapEvents>, center: LngLat, options?: MapCameraMove): Promise<void> =>
+  view._call("jumpTo", [center, options])
+
+/** Fit the camera to the points.
+ *  Rejects with "noPoints". */
+export const fitPoints = (view: ViewChannel<MapEvents>, points: LngLat[], options?: MapFitOptions): Promise<void> =>
+  view._call("fitPoints", [points, options])
+
+/** The part of the view covered by the app's UI; camera moves center inside the rest. */
+export const setPadding = (view: ViewChannel<MapEvents>, padding: MapPadding): Promise<void> =>
+  view._call("setPadding", [padding])
+
+/** Rejects with "notReady". */
+export const getCamera = (view: ViewChannel<MapEvents>): Promise<MapCamera> =>
+  view._call("getCamera", [])
+
+/** Move the user puck; null hides it. */
+export const setUserLocation = (view: ViewChannel<MapEvents>, lngLat: LngLat | null, options?: MapUserLocationOptions): Promise<void> =>
+  view._call("setUserLocation", [lngLat, options])
+
+// ---- what the host's half has --------------------------------------------------------------------
+
+/** A method of the contract. */
+export type Method = "ensureLayer" | "removeLayer" | "setData" | "flyTo" | "jumpTo" | "fitPoints" | "setPadding" | "getCamera" | "setUserLocation"
+
+/** Whether this host has the view "map" — and, given a method, a half new enough for it
+ *  (a method added after the first version of the contract is tagged `@since`). */
+export const supports = (method?: Method): boolean =>
+  ViewChannel.supports(NAME)   // every method is of version 1
+
+// ---- the element ----------------------------------------------------------------------------------
+
+/** The view "map" with the wire's methods as its own. */
+export class MapViewBase extends ViewChannel<MapEvents> {
+  constructor(params: MapParams = {}) { super("MapView", NAME, params) }
+
+  /** Make sure the GeoJSON source `source` exists. A source the style declares is used as is (its
+   *  layers draw, only data flows); otherwise the half creates it with the default layers of `kind`.
+   *  Rejects with "notReady". */
+  ensureLayer(source: string, kind: MapLayerKind, options?: MapLayerOptions): Promise<void> { return ensureLayer(this, source, kind, options) }
+  removeLayer(source: string): Promise<void> { return removeLayer(this, source) }
+  /** Replace the data of a GeoJSON source: a Feature or a FeatureCollection.
+   *  Rejects with "notReady". */
+  setData(source: string, geojson: Json): Promise<void> { return setData(this, source, geojson) }
+  flyTo(center: LngLat, options?: MapCameraMove): Promise<void> { return flyTo(this, center, options) }
+  jumpTo(center: LngLat, options?: MapCameraMove): Promise<void> { return jumpTo(this, center, options) }
+  /** Fit the camera to the points.
+   *  Rejects with "noPoints". */
+  fitPoints(points: LngLat[], options?: MapFitOptions): Promise<void> { return fitPoints(this, points, options) }
+  /** The part of the view covered by the app's UI; camera moves center inside the rest. */
+  setPadding(padding: MapPadding): Promise<void> { return setPadding(this, padding) }
+  /** Rejects with "notReady". */
+  getCamera(): Promise<MapCamera> { return getCamera(this) }
+  /** Move the user puck; null hides it. */
+  setUserLocation(lngLat: LngLat | null, options?: MapUserLocationOptions): Promise<void> { return setUserLocation(this, lngLat, options) }
+}

package/src/plugins/{map.ts → gen/map/sdk/map.ts}

@@ -1,22 +1,33 @@
-// MapView — a vector map (maplibre-native on iOS/Android) as a Presentable. A typed wrapper over
-// the `NativeView("map")` capability (docs/map-plugin-plan.md): push it (`Router.push(map)`),
-// open it fullscreen (`map.open()`), or embed it among a screen's children where the host builds
-// the "native" layout node. The style is a URL, a bundled `asset()`, a read file or the style
-// object (see MapStyle). Data goes in as named layers (`map.markers(name)`, `map.line(name)`)
-// whose `set()` replaces their content; the camera is driven with `flyTo` / `fitPoints`; the user
-// puck is fed by the app (`setUserLocation`) — the plugin never touches the location hardware.
+// GENERATED by scripts/vendor-plugins.ts from lecodes-plugins/plugins/map/sdk/map.ts — do not edit here.
+// Change it in the plugin repo and run `bun run vendor:plugins`; `bun run check:plugins` fails when this copy is stale.
+// MapView — a vector map (maplibre-native on iOS / Android, maplibre-gl in the browser) as a view
+// the app pushes (`Router.push(map)`), opens fullscreen (`map.open()`) or embeds among a screen's
+// children. The style is a name, a URL, a bundled `asset()`, a read file or the style object (see
+// MapStyle). Data goes in as named layers (`map.markers(name)`, `map.line(name)`) whose `set()`
+// replaces their content; the camera is driven with `flyTo` / `fitPoints`; the user puck is fed by
+// the app (`setUserLocation`) — the plugin never touches the location hardware.
 //
-// Host-OPTIONAL: it exists where the host registers a "map" view (the `map` plugin from
-// lecodes-plugins) — gate on `MapView.isSupported`. Everything here is sugar over ONE JSON channel
-// (`call` / `on`); the wire contract is the method/event table in docs/map-plugin-plan.md.
-//
-// Ordering: the native map exists only once presented and its style loaded — the plugin emits
-// `ready` then. Data and camera calls issued before that are queued and replayed in order, so an
-// app can build the map declaratively and push it later without a ready-dance of its own.
-
-import { NativeView, NativeViewElement } from "../ui/NativeView"
-import { _channelOn } from "../runtime/channel"
-import type { FetchResponse } from "../runtime/fetch"
+// Hand-written over the generated wire because the public API is higher than the wire:
+//   - a style is resolved to a url or to text HERE, once, at creation;
+//   - marker items and coordinate lists become GeoJSON here;
+//   - the native map exists only once presented and its style loaded (`ready`): calls issued before
+//     that are queued and replayed in order, so an app builds the map declaratively and pushes it
+//     later without a ready-dance of its own;
+//   - what lives in the STYLE (layers, data, the padding, the user puck) is kept and re-applied
+//     after every style load.
+
+import { ViewChannel, bufferText, type FetchResponse, type Json, type NativeView } from "../../../../plugin"
+import { NAME, ensureLayer, fitPoints, flyTo, getCamera, jumpTo, setData, setPadding, setUserLocation } from "./map.gen"
+import type {
+  LngLat, MapCamera, MapCameraMove, MapEvents, MapFitOptions, MapLayerKind, MapPadding, MapParams,
+  MapTap as WireTap, MapUserLocationOptions,
+} from "../contract"
+
+export type { LngLat, MapCamera }
+export type CameraMove = MapCameraMove
+export type FitOptions = MapFitOptions
+export type MapPaddingValues = MapPadding
+export type UserLocationOptions = MapUserLocationOptions
 
 /** The ready-made styles a map falls back on — [OpenFreeMap](https://openfreemap.org): OSM data,
  *  no key, no registration, no request limits, commercial use allowed, and the whole stack is
@@ -56,34 +67,12 @@ const NAMED_STYLES: Record<string, string> = {
 // `string & {}` keeps the named suggestions in the editor while still accepting any URL.
 export type MapStyle = MapStyleName | (string & {}) | FetchResponse | object
 
-/** `[longitude, latitude]` — GeoJSON order, the same as the style, the tiles and your data. */
-export type LngLat = [number, number]
-
-export interface MapCamera {
-  center: LngLat
-  zoom: number
-  /** Degrees clockwise from north. */
-  bearing: number
-  /** Degrees from the vertical. */
-  pitch: number
-}
-
-export interface MapOptions {
+export interface MapOptions extends Omit<MapParams, "style" | "styleJson"> {
   /** The MapLibre style: a ready-made name (`"liberty"` — the default, `"positron"`, …), a URL,
    *  a style bundled with the app (`asset("./style.json")`), an already-read file
    *  (`fetchLocal("style.json")`, `await fetch(url)`) or the style object itself — see
    *  {@link MapStyle}. */
   style?: MapStyle
-  center?: LngLat
-  zoom?: number
-  minZoom?: number
-  maxZoom?: number
-  bearing?: number
-  pitch?: number
-  /** Two-finger rotate gesture (default true). */
-  rotate?: boolean
-  /** Two-finger tilt gesture (default false — most city maps stay flat). */
-  tilt?: boolean
 }
 
 /** A tap on the map itself — not on a feature of a managed layer. */
@@ -93,29 +82,6 @@ export interface MapTap {
   point: [number, number]
 }
 
-export interface CameraMove {
-  zoom?: number
-  bearing?: number
-  pitch?: number
-  /** Animation length, ms (flyTo only; default 600). */
-  duration?: number
-}
-
-export interface MapPaddingValues {
-  top?: number | string
-  left?: number | string
-  bottom?: number | string
-  right?: number | string
-}
-
-export interface FitOptions {
-  /** Px around the points, or per edge. Added to the view padding set by `setPadding`. */
-  padding?: number | MapPaddingValues
-  maxZoom?: number
-  /** Default true. */
-  animate?: boolean
-}
-
 /** One marker. `id` comes back in `onTap`; `icon` names an image of the style's sprite; `color` /
  *  `title` feed the default layers; extra keys become feature properties. */
 export interface MarkerItem {
@@ -151,13 +117,6 @@ export interface LineLayerOptions {
   opacity?: number
 }
 
-export interface UserLocationOptions {
-  /** Horizontal accuracy radius, meters — drawn as the halo around the dot. */
-  accuracy?: number | null
-  /** Degrees clockwise from north — drawn as the direction wedge; null hides it. */
-  heading?: number | null
-}
-
 export interface MarkerLayer {
   readonly name: string
   /** Replace the layer's markers. */
@@ -208,15 +167,21 @@ export interface MapView extends NativeView {
   setUserLocation(lngLat: LngLat | null, options?: UserLocationOptions): this
 }
 
+/** The wire's calls the wrapper sends without waiting for an answer, by name: what a queue entry
+ *  replays. Every one takes the view first. */
+const SEND = { ensureLayer, setData, flyTo, jumpTo, fitPoints, setPadding, setUserLocation }
+type Send = typeof SEND
+type SendArgs<M extends keyof Send> = Send[M] extends (view: any, ...args: infer A) => any ? A : never
+
 type Queued = { method: string, args: any[] }
-type LayerSpec = { kind: "markers" | "line", options: object }
+type LayerSpec = { kind: MapLayerKind, options: object }
 
 /** Methods whose effect lives in the STYLE, not in the view: a style (re)load wipes them, so the
  *  wrapper keeps their last value and re-applies it on every `ready` instead of replaying them
  *  from the queue. Camera calls are not here — the camera survives a style reload. */
 const STATEFUL = ["ensureLayer", "setData", "setPadding", "setUserLocation"]
 
-class MapViewElement extends NativeViewElement {
+class MapViewElement extends ViewChannel<MapEvents> {
   private _ready = false
   private _queue: Queued[] = []
   private readonly _layers = new Map<string, MapLayerHandle>()
@@ -224,18 +189,18 @@ class MapViewElement extends NativeViewElement {
   private readonly _specs = new Map<string, LayerSpec>()
   private readonly _data = new Map<string, object>()
   private _padding?: MapPaddingValues
-  private _user?: any[]
+  private _user?: SendArgs<"setUserLocation">
   private readonly _readyCallbacks: (() => void)[] = []
   private readonly _tapCallbacks: ((tap: MapTap) => void)[] = []
   private readonly _moveCallbacks: ((camera: MapCamera) => void)[] = []
   private readonly _errorCallbacks: ((error: { message: string }) => void)[] = []
 
   constructor(options: MapOptions = {}) {
-    super("map", _styleParams(options))
-    _channelOn(this.nvl, "ready", () => this._onReady())
-    _channelOn(this.nvl, "tap", (data: any) => this._onTap(data))
-    _channelOn(this.nvl, "moveEnd", (data: any) => { for (const cb of [...this._moveCallbacks]) cb(data) })
-    _channelOn(this.nvl, "error", (data: any) => this._onError(data))
+    super("MapView", NAME, _styleParams(options))
+    this.on("ready", () => this._onReady())
+    this.on("tap", tap => this._onTap(tap))
+    this.on("moveEnd", camera => { for (const cb of [...this._moveCallbacks]) cb(camera) })
+    this.on("error", error => this._onError(error))
   }
 
   onReady(callback: () => void): this { this._readyCallbacks.push(callback); return this }
@@ -251,7 +216,7 @@ class MapViewElement extends NativeViewElement {
   }
   setData(source: string, geojson: object): this {
     this._data.set(source, geojson)
-    this._send("setData", [source, geojson])
+    this._send("setData", [source, geojson as Json])
     return this
   }
 
@@ -259,22 +224,23 @@ class MapViewElement extends NativeViewElement {
   jumpTo(center: LngLat, options: CameraMove = {}): this { this._send("jumpTo", [center, options]); return this }
   fitPoints(points: LngLat[], options: FitOptions = {}): this { this._send("fitPoints", [points, options]); return this }
   setPadding(padding: MapPaddingValues): this { this._padding = padding; this._send("setPadding", [padding]); return this }
-  getCamera(): Promise<MapCamera> { return this.call("getCamera") }
+  getCamera(): Promise<MapCamera> { return getCamera(this) }
 
   setUserLocation(lngLat: LngLat | null, options: UserLocationOptions = {}): this {
     this._user = [lngLat, options]
-    this._send("setUserLocation", [lngLat, options])
+    this._send("setUserLocation", this._user)
     return this
   }
 
   /** @internal queue until `ready`, then straight through. Rejections are logged, never thrown:
-   *  a fire-and-forget camera/data call has no caller to reject to. */
-  _send(method: string, args: any[]): void {
+   *  a fire-and-forget camera / data call has no caller to reject to. */
+  _send<M extends keyof Send>(method: M, args: SendArgs<M>): void {
     if (!this._ready) { this._queue.push({ method, args }); return }
-    this.call(method, ...args).catch((e: Error) => console.error(`MapView.${method}: ${e.message}`))
+    const call: (view: this, ...args: any[]) => Promise<void> = SEND[method] ?? ((view, ...rest) => view._call(method, rest))
+    call(this, ...args).catch((e: Error) => console.error(`MapView.${method}: ${e.message}`))
   }
 
-  private _layer(name: string, kind: "markers" | "line", options: object): MapLayerHandle {
+  private _layer(name: string, kind: MapLayerKind, options: object): MapLayerHandle {
     let layer = this._layers.get(name)
     if (!layer) {
       layer = new MapLayerHandle(this, name)
@@ -294,28 +260,28 @@ class MapViewElement extends NativeViewElement {
     const queue = this._queue
     this._queue = []
     for (const [name, spec] of this._specs) this._send("ensureLayer", [name, spec.kind, spec.options])
-    for (const [source, geojson] of this._data) this._send("setData", [source, geojson])
+    for (const [source, geojson] of this._data) this._send("setData", [source, geojson as Json])
     if (this._padding) this._send("setPadding", [this._padding])
     if (this._user) this._send("setUserLocation", this._user)
-    for (const q of queue) if (STATEFUL.indexOf(q.method) < 0) this._send(q.method, q.args)
+    for (const q of queue) if (STATEFUL.indexOf(q.method) < 0) this._send(q.method as keyof Send, q.args as any)
     for (const cb of [...this._readyCallbacks]) cb()
   }
 
-  private _onError(data: any): void {
+  private _onError(error: { message: string }): void {
     // Unhandled is not unheard: a style the host couldn't load is exactly the failure that looks
     // like "the map is blank and nothing happened".
-    if (this._errorCallbacks.length === 0) { console.error(`MapView: ${data?.message ?? "unknown error"}`); return }
-    for (const cb of [...this._errorCallbacks]) cb(data)
+    if (this._errorCallbacks.length === 0) { console.error(`MapView: ${error?.message ?? "unknown error"}`); return }
+    for (const cb of [...this._errorCallbacks]) cb(error)
   }
 
-  private _onTap(data: any): void {
-    const feature = data?.feature
+  private _onTap(tap: WireTap): void {
+    const feature = tap?.feature
     const layer = feature ? this._layers.get(feature.source) : undefined
-    if (layer) {
-      layer._tap({ id: feature.id, lngLat: data.lngLat, properties: feature.properties ?? {} })
+    if (feature && layer) {
+      layer._tap({ id: feature.id as string | number, lngLat: tap.lngLat, properties: feature.properties ?? {} })
       return
     }
-    for (const cb of [...this._tapCallbacks]) cb({ lngLat: data.lngLat, point: data.point })
+    for (const cb of [...this._tapCallbacks]) cb({ lngLat: tap.lngLat, point: tap.point })
   }
 }
 
@@ -348,15 +314,15 @@ class MapLayerHandle {
   }
 }
 
-/** @internal `MapOptions` → host params. A style URL stays a url the map fetches itself; every
+/** @internal `MapOptions` → the wire's params. A style URL stays a url the map fetches itself; every
  *  other form is read HERE and crosses as `styleJson` text — one string, once, at creation. A
  *  bundled `asset()` is `"id:N"` in shell compiles (the host already holds the bytes) and a plain
  *  url in server compiles, so the same call works on every host. */
-export const _styleParams = (options: MapOptions = {}): any => {
+export const _styleParams = (options: MapOptions = {}): MapParams => {
   const { style = "liberty", ...rest } = options
   if (typeof style === "string") {
     if (!style.startsWith("id:")) return { ...rest, style: NAMED_STYLES[style] ?? style }
-    const text = _creatorUtils.fetchToText(+style.slice(3))
+    const text = bufferText(+style.slice(3))
     if (!text) throw new Error("MapView: the style asset is empty or missing")
     return { ...rest, styleJson: text }
   }
@@ -380,9 +346,9 @@ export const _toGeoJson = (items: MarkerItem[] | LngLat[]): object => {
 
 /**
  * Create a map view. `MapView.isSupported` reports whether this host registered a "map" view —
- * check it before offering the feature (web, headless and shells without the plugin have none).
+ * check it before offering the feature.
  */
-// PURE IIFE so an app that never uses the map tree-shakes the whole plugin away (see NativeView).
+// PURE IIFE so an app that never uses the map tree-shakes the whole plugin away.
 export const MapView: {
   (options?: MapOptions): MapView
   /** Whether this host registered a "map" view. */
@@ -390,7 +356,7 @@ export const MapView: {
 } = /*#__PURE__*/ (() => {
   const factory = (options: MapOptions = {}): MapView => new MapViewElement(options) as unknown as MapView
   Object.defineProperty(factory, "isSupported", {
-    get: (): boolean => NativeView.isSupported("map"),
+    get: (): boolean => ViewChannel.supports(NAME),
   })
   return factory as any
 })()

package/src/plugins/gen/push/contract.d.ts

@@ -0,0 +1,61 @@
+// GENERATED by scripts/vendor-plugins.ts from lecodes-plugins/plugins/push/contract.d.ts — do not edit here.
+// Change it in the plugin repo and run `bun run vendor:plugins`; `bun run check:plugins` fails when this copy is stale.
+// push — remote notifications (APNs on iOS, FCM on Android).
+// The host owns the OS token, the permission prompt and the registration with the le.codes relay;
+// the app sees the opaque project-scoped ADDRESS and the payloads, never the raw token.
+//
+// An OPEN SESSION is the delivery pipe of the events. Opening one is free (no prompt, no I/O).
+// Identity: every call is attributed to the world that makes it (the project's uuid, held by the
+// host); a world without one rejects "unavailable" BEFORE any permission path.
+
+import type { Json, Service, i32 } from "../../../plugin"
+
+/** A delivered notification, as the app sees it. */
+export interface PushPayload {
+  title: string
+  body?: string
+  /** A deep link — it also rides the app's own link path (`app.launchUrl`, the "url" event). */
+  url?: string
+  /** The developer's own JSON object, ≤ 2 KB serialized. */
+  data?: { [key: string]: Json }
+  badge?: i32
+}
+
+export interface PushStatus {
+  /** The OS permission of the host app. "prompt" = not asked yet. */
+  permission: "granted" | "denied" | "prompt"
+  /** Whether this device holds a registration (an address) for this app. */
+  registered: boolean
+}
+
+export interface PushRegisterOptions {
+  /** The app's OWN user id. Client-asserted and unverified. The registration reflects the latest
+   *  call: registering without it clears it. */
+  user?: string
+}
+
+export interface PushRegistration {
+  address: string
+}
+
+export interface PushParams {}
+
+export interface PushEvents {
+  /** Arrived while this app was in the foreground (the host shows no banner). */
+  message: PushPayload
+  /** Tapped while the world was alive. */
+  tap: PushPayload
+}
+
+export interface Push extends Service<"push", PushParams, PushEvents> {
+  /** Permission + registration state. Never prompts. */
+  getStatus(): Promise<PushStatus>
+  /** Ask for the permission (the first time) and register this device. Idempotent.
+   *  @rejects denied unavailable */
+  register(options?: PushRegisterOptions): Promise<PushRegistration>
+  /** Remove this device's registration.
+   *  @rejects unavailable */
+  unregister(): Promise<void>
+  /** The notification that cold-started this world, or null. Stable across calls. */
+  getLaunch(): Promise<PushPayload | null>
+}

package/src/plugins/gen/push/sdk/push.gen.ts

@@ -0,0 +1,60 @@
+// GENERATED by scripts/vendor-plugins.ts from lecodes-plugins/plugins/push/sdk/push.gen.ts — do not edit here.
+// Change it in the plugin repo and run `bun run vendor:plugins`; `bun run check:plugins` fails when this copy is stale.
+// GENERATED by `lecodes plugin gen` from contract.d.ts — do not edit.
+// push: the service "push", contract version 1.
+
+import { ServiceChannel } from "../../../../plugin"
+import type { PushEvents, PushParams, PushPayload, PushRegisterOptions, PushRegistration, PushStatus } from "../contract"
+
+/** What the halves register under. */
+export const NAME = "push"
+/** The contract's version: the highest `@since` of its members. */
+export const VERSION = 1
+
+// ---- the wire, call by call ----------------------------------------------------------------------
+
+/** Permission + registration state. Never prompts. */
+export const getStatus = (service: ServiceChannel<PushEvents>): Promise<PushStatus> =>
+  service._call("getStatus", [])
+
+/** Ask for the permission (the first time) and register this device. Idempotent.
+ *  Rejects with "denied" / "unavailable". */
+export const register = (service: ServiceChannel<PushEvents>, options?: PushRegisterOptions): Promise<PushRegistration> =>
+  service._call("register", [options])
+
+/** Remove this device's registration.
+ *  Rejects with "unavailable". */
+export const unregister = (service: ServiceChannel<PushEvents>): Promise<void> =>
+  service._call("unregister", [])
+
+/** The notification that cold-started this world, or null. Stable across calls. */
+export const getLaunch = (service: ServiceChannel<PushEvents>): Promise<PushPayload | null> =>
+  service._call("getLaunch", []).then((w: any) => w ?? null)
+
+// ---- what the host's half has --------------------------------------------------------------------
+
+/** A method of the contract. */
+export type Method = "getStatus" | "register" | "unregister" | "getLaunch"
+
+/** Whether this host has the service "push" — and, given a method, a half new enough for it
+ *  (a method added after the first version of the contract is tagged `@since`). */
+export const supports = (method?: Method): boolean =>
+  ServiceChannel.supports(NAME)   // every method is of version 1
+
+// ---- the client -----------------------------------------------------------------------------------
+
+/** The service "push" with the wire's methods as its own. */
+export class PushBase extends ServiceChannel<PushEvents> {
+  constructor(params: PushParams = {}) { super("Push", NAME, params) }
+
+  /** Permission + registration state. Never prompts. */
+  getStatus(): Promise<PushStatus> { return getStatus(this) }
+  /** Ask for the permission (the first time) and register this device. Idempotent.
+   *  Rejects with "denied" / "unavailable". */
+  register(options?: PushRegisterOptions): Promise<PushRegistration> { return register(this, options) }
+  /** Remove this device's registration.
+   *  Rejects with "unavailable". */
+  unregister(): Promise<void> { return unregister(this) }
+  /** The notification that cold-started this world, or null. Stable across calls. */
+  getLaunch(): Promise<PushPayload | null> { return getLaunch(this) }
+}