@gyral/core 0.1.0 → 0.3.0

package/dist/store.js.map

@@ -1 +1 @@
-{"version":3,"file":"store.js","sourceRoot":"","sources":["../src/store.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,QAAQ,EAAE,MAAM,KAAK,CAAC;AAC/B,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACpE,OAAO,EACL,SAAS,GAKV,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,eAAe,EAAoB,MAAM,2BAA2B,CAAC;AAG9E,MAAM,QAAQ,GAAY,QAAQ,CAAC;AA0FnC,6FAA6F;AAC7F,MAAM,UAAU,WAAW,CAAsB,IAAY,EAAE,IAAqB;IAClF,MAAM,KAAK,GAAgB;QACzB,IAAI;QACJ,IAAI;QACJ,QAAQ,EAAE,CAAC,OAAW,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC;QACzD,SAAS,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC;KAClD,CAAC;IACF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,SAAS,GAAG,CAAC,KAA6B,EAAU,EAAE,CAC1D,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAErF,SAAS,SAAS,CAChB,MAAgD,EAChD,IAAa;IAEb,oFAAoF;IACpF,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAS,EAAE,CAAC;IAChE,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAClD,IAAI,MAAM,YAAY,OAAO,EAAE,CAAC;QAC9B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,4DAA4D,CAAC,EAAE,CAAC;IAC/F,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;IAC1E,OAAO;QACL,EAAE,EAAE,KAAK;QACT,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,QAAQ,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;KAC9E,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CACrB,KAAkB,EAClB,OAAsB;IAEtB,kEAAkE;IAClE,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,MAE3B,CAAC;IACF,MAAM,SAAS,GAAG,IAAI,GAAG,EAA+B,CAAC;IACzD,IAAI,WAAwD,CAAC;IAC7D,IAAI,QAAQ,GAAG,KAAK,CAAC;IAErB,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAC/D,IAAI,KAAK,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC;IAExD,MAAM,OAAO,GAAG,CAAC,MAAiB,EAAa,EAAE,CAC/C,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC;IAE/E,IAAI,KAAgC,CAAC;IAErC,yFAAyF;IACzF,MAAM,OAAO,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAkB,EAAQ,EAAE;QAC/D,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,CAAC,IAAI,CACV,UAAU,KAAK,CAAC,IAAI,eAAe,MAAM,CAAC,IAAI,qCAAqC;gBACjF,8EAA8E,CACjF,CAAC;YACF,OAAO;QACT,CAAC;QACA,KAAK,CAAC,MAAM,CAAkC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5D,CAAC,CAAC;IAEF,MAAM,GAAG,GAAG,CAAC,QAAoD,EAAQ,EAAE;QACzE,IAAI,QAAQ,IAAI,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,CAAC,iCAAiC;QAC5F,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;YAC3B,IAAI,GAAG,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;gBAC9B,OAAO,CAAC,GAAG,CAAC,KAAuB,CAAC,CAAC;gBACrC,SAAS;YACX,CAAC;YACD,WAAW,KAAK,eAAe,CAC7B,OAAO,EACP,CAAC,GAAG,EAAE,EAAE;gBACN,wEAAwE;gBACxE,IAAI,GAAG,CAAC,IAAI,KAAK,gBAAgB;oBAAE,QAAQ,CAAC,IAAI,CAAC,GAAQ,CAAC,CAAC;YAC7D,CAAC,EACD,gBAAgB,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,SAAS,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CACxE,CAAC;YACF,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvB,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,QAAQ,GAAwB;QACpC,KAAK;QACL,IAAI,KAAK;YACP,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,EAAE,EAAE;QACX,IAAI,CAAC,GAAG;YACN,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,OAAO,CAAC,IAAI,CAAC,UAAU,KAAK,CAAC,IAAI,gCAAgC,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC;gBAC/E,OAAO;YACT,CAAC;YACD,MAAM,IAAI,GAAG,KAAK,CAAC;YACnB,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;YACvD,KAAK,GAAG,IAAI,CAAC;YACb,IAAI,gBAAgB;gBAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;YAC5D,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;gBAAE,KAAK,MAAM,QAAQ,IAAI,CAAC,GAAG,SAAS,CAAC;oBAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACxF,GAAG,CAAC,QAAQ,CAAC,CAAC;QAChB,CAAC;QACD,SAAS,CAAC,QAAQ;YAChB,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACxB,OAAO,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC1C,CAAC;QACD,OAAO;YACL,QAAQ,GAAG,IAAI,CAAC;YAChB,WAAW,EAAE,OAAO,EAAE,CAAC;YACvB,SAAS,CAAC,KAAK,EAAE,CAAC;QACpB,CAAC;QACD,SAAS,CAAC,QAAQ;YAChB,KAAK,GAAG,QAAQ,CAAC;QACnB,CAAC;KACF,CAAC;IAEF,4FAA4F;IAC5F,2FAA2F;IAC3F,IAAI,OAAO,KAAK,SAAS;QAAE,GAAG,CAAC,YAAY,CAAC,CAAC;SACxC,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC;QAC9B,UAAU,CAAC,GAAG,EAAE;YACd,GAAG,CAAC,YAAY,CAAC,CAAC;QACpB,CAAC,EAAE,CAAC,CAAC,CAAC;IACR,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4FAA4F;AAC5F,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,IAAI,EAAE,mBAAmB;IACzB,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS;CACZ,CAAC;AAQX,8FAA8F;AAC9F,gGAAgG;AAChG,gGAAgG;AAChG,MAAM,UAAU,IAAI,CAAsB,KAAkB,EAAE,GAAe;IAC3E,MAAM,KAAK,GAAmB,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IAC7C,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC;AACnE,CAAC;AAWD,mFAAmF;AACnF,MAAM,UAAU,OAAO,CACrB,KAAkB,EAClB,GAAiB;IAEjB,oFAAoF;IACpF,OAAO,GAAG,CAAC,KAAK,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAU,EAAE,IAAI,EAAE,GAAG,CAAC,IAAS,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AAC/F,CAAC","sourcesContent":["// Shared state: stores as \"props from the side\" (docs/design-docs/0013-shared-state.md).\n// A store is MVI without a view: init + pure update, commands run by its own interpreter.\nimport type { StandardSchemaV1 } from '@standard-schema/spec';\nimport { isServer } from 'lit';\nimport { DEVTOOLS_ENABLED, devCommands, devStore } from '#devtools';\nimport {\n  splitNext,\n  type AnyDriver,\n  type Command,\n  type DriverOverrides,\n  type Next,\n} from './command.js';\nimport { makeInterpreter, type Interpreter } from './internal/interpreter.js';\nimport type { IntentRejected, Tagged } from './types.js';\n\nconst onServer: boolean = isServer;\n\ntype Variant<M extends Tagged, K extends M['_tag']> = Extract<M, { readonly _tag: K }>;\n\n/** One pure reducer per message tag, like a component's `update` but without context. */\nexport type StoreUpdate<S, M extends Tagged> = {\n  readonly [K in M['_tag']]: (state: S, msg: Variant<M, K>) => Next<S, M>;\n};\n\nexport interface StoreSpec<S, M extends Tagged> {\n  /** Initial state (and optional commands, e.g. load a saved cart). */\n  readonly init: () => Next<S, M>;\n  readonly update: StoreUpdate<S, M>;\n  /** Driver substitutions by name for this store's commands. */\n  readonly drivers?: DriverOverrides;\n  /**\n   * Validates the server's page seed before the client uses it (any synchronous Standard\n   * Schema). An invalid seed is reported with console.error and the store starts from `init`.\n   */\n  readonly schema?: StandardSchemaV1<unknown, S>;\n}\n\n/** The result of checking a seed against a store's schema. */\nexport type SeedCheck<S> =\n  | { readonly ok: true; readonly state: S }\n  | { readonly ok: false; readonly issues: readonly string[] };\n\n/** What `ctx.read()` accepts: anything that names a store and carries its state type. */\nexport interface StoreRef<S> {\n  readonly name: string;\n  /** Type-only marker for the state type. Never set at runtime. */\n  readonly stateType?: (state: S) => S;\n}\n\n/** A live store: one per page on the client, one per request on the server, one per test. */\nexport interface StoreInstance<S, M extends Tagged> {\n  readonly store: Store<S, M>;\n  readonly state: S;\n  /** Feeds a message through the store's `update` and notifies subscribers on change. */\n  send(msg: M): void;\n  /** Called after every state change. Returns an unsubscribe function. */\n  subscribe(listener: (state: S, prev: S) => void): () => void;\n  /** Per-instance driver substitutions (test fakes). Checked before the spec's. */\n  drivers: DriverOverrides;\n  /** Stops running commands and drops subscribers. */\n  dispose(): void;\n  /** Set by the registry that holds the instance (store-to-store `send`). */\n  bindScope(resolve: StoreResolver): void;\n}\n\nexport interface Store<S, M extends Tagged> extends StoreRef<S> {\n  readonly spec: StoreSpec<S, M>;\n  /**\n   * A fresh, independent instance. `initial` skips `init`'s state (a server seed, a test\n   * fixture); `init`'s commands still run on the client.\n   */\n  instance(initial?: S): StoreInstance<S, M>;\n  /** Checks a seed with `spec.schema` (ok as-is without one). */\n  checkSeed(seed: unknown): SeedCheck<S>;\n  /** Type-only marker for the message type. Never set at runtime. */\n  readonly messageType?: (msg: M) => M;\n}\n\n/** Any store, with its types erased (for declarations and registries). */\nexport interface AnyStore {\n  readonly name: string;\n  instance(initial?: never): AnyStoreInstance;\n  checkSeed(seed: unknown): SeedCheck<unknown>;\n}\n\n/** Any store instance, with its types erased. */\nexport interface AnyStoreInstance {\n  readonly store: AnyStore;\n  readonly state: unknown;\n  send(msg: never): void;\n  subscribe(listener: (state: unknown, prev: unknown) => void): () => void;\n  dispose(): void;\n  /**\n   * Called by the registry that holds this instance, so the store's `send(other, msg)`\n   * commands reach `other`'s instance in the same scope (gyral-czi.20).\n   */\n  bindScope?(resolve: StoreResolver): void;\n}\n\n/** Finds a store's instance in a scope (a registry). */\nexport type StoreResolver = (store: AnyStore) => AnyStoreInstance;\n\n/** Store instances substituted by store name (tests, islands). */\nexport type StoreOverrides = Readonly<Record<string, AnyStoreInstance>>;\n\n/** Defines a store. `name` keys it in registries, seeds and overrides, so keep it unique. */\nexport function defineStore<S, M extends Tagged>(name: string, spec: StoreSpec<S, M>): Store<S, M> {\n  const store: Store<S, M> = {\n    name,\n    spec,\n    instance: (initial?: S) => createInstance(store, initial),\n    checkSeed: (seed) => checkSeed(spec.schema, seed),\n  };\n  return store;\n}\n\nconst issuePath = (issue: StandardSchemaV1.Issue): string =>\n  (issue.path ?? []).map((s) => String(typeof s === 'object' ? s.key : s)).join('.');\n\nfunction checkSeed<S>(\n  schema: StandardSchemaV1<unknown, S> | undefined,\n  seed: unknown,\n): SeedCheck<S> {\n  // Sound without a schema: the seed is this store's state, serialized by the server.\n  if (schema === undefined) return { ok: true, state: seed as S };\n  const result = schema['~standard'].validate(seed);\n  if (result instanceof Promise) {\n    return { ok: false, issues: ['the store schema is async; seeds need a synchronous schema'] };\n  }\n  if (result.issues === undefined) return { ok: true, state: result.value };\n  return {\n    ok: false,\n    issues: result.issues.map((i) => `${issuePath(i) || '(root)'}: ${i.message}`),\n  };\n}\n\nfunction createInstance<S, M extends Tagged>(\n  store: Store<S, M>,\n  initial: S | undefined,\n): StoreInstance<S, M> {\n  // Sound: send() only calls the reducer whose key equals msg._tag.\n  const reducers = store.spec.update as unknown as Readonly<\n    Record<string, ((state: S, msg: M) => Next<S, M>) | undefined>\n  >;\n  const listeners = new Set<(state: S, prev: S) => void>();\n  let interpreter: Interpreter<M | IntentRejected> | undefined;\n  let disposed = false;\n\n  const [initState, initCommands] = splitNext(store.spec.init());\n  let state = initial === undefined ? initState : initial;\n\n  const resolve = (driver: AnyDriver): AnyDriver =>\n    instance.drivers[driver.name] ?? store.spec.drivers?.[driver.name] ?? driver;\n\n  let scope: StoreResolver | undefined;\n\n  // Store-to-store writes: delivered synchronously to the other store's instance in scope.\n  const deliver = ({ store: target, msg }: StoreSendInput): void => {\n    if (scope === undefined) {\n      console.warn(\n        `store \"${store.name}\" sends to \"${target.name}\" but is not held by a store scope ` +\n          '(a registry, <gyral-stores> or the page default), so the message is dropped.',\n      );\n      return;\n    }\n    (scope(target) as { send(msg: unknown): void }).send(msg);\n  };\n\n  const run = (commands: ReadonlyArray<Command<M | IntentRejected>>): void => {\n    if (onServer || disposed || commands.length === 0) return; // never on the server (ADR 0012)\n    for (const cmd of commands) {\n      if (cmd.driver === STORE_SEND) {\n        deliver(cmd.input as StoreSendInput);\n        continue;\n      }\n      interpreter ??= makeInterpreter<M | IntentRejected>(\n        resolve,\n        (msg) => {\n          // Stores have no IntentRejected reducer; only their own messages apply.\n          if (msg._tag !== 'IntentRejected') instance.send(msg as M);\n        },\n        DEVTOOLS_ENABLED ? devCommands(() => `store:${store.name}`) : undefined,\n      );\n      interpreter.run(cmd);\n    }\n  };\n\n  const instance: StoreInstance<S, M> = {\n    store,\n    get state() {\n      return state;\n    },\n    drivers: {},\n    send(msg) {\n      const reducer = reducers[msg._tag];\n      if (reducer === undefined) {\n        console.warn(`store \"${store.name}\" has no update for message \"${msg._tag}\".`);\n        return;\n      }\n      const prev = state;\n      const [next, commands] = splitNext(reducer(prev, msg));\n      state = next;\n      if (DEVTOOLS_ENABLED) devStore(store.name, msg, prev, next);\n      if (!Object.is(next, prev)) for (const listener of [...listeners]) listener(next, prev);\n      run(commands);\n    },\n    subscribe(listener) {\n      listeners.add(listener);\n      return () => listeners.delete(listener);\n    },\n    dispose() {\n      disposed = true;\n      interpreter?.dispose();\n      listeners.clear();\n    },\n    bindScope(resolver) {\n      scope = resolver;\n    },\n  };\n\n  // A seeded instance (hydration) starts init's commands after the hydrating renders flushed,\n  // so a fast driver can't change state under them (same reason as ADR 0012 for components).\n  if (initial === undefined) run(initCommands);\n  else if (initCommands.length > 0)\n    setTimeout(() => {\n      run(initCommands);\n    }, 0);\n  return instance;\n}\n\n/** Marker driver for `send()`: `define()` delivers these to the resolved store instance. */\nexport const STORE_SEND = {\n  name: '@gyral/store-send',\n  run: () => undefined,\n} as const;\n\n/** The input of a `send()` command. */\nexport interface StoreSendInput {\n  readonly store: AnyStore;\n  readonly msg: Tagged;\n}\n\n/** A command that sends `msg` to the component's instance of `store`. Writes are commands. */\n// NoInfer: the store decides the message type, so a literal (`{ _tag: 'Track', … }`) is checked\n// against it instead of widening `_tag` to string (store-to-store sends have no other context).\nexport function send<S, M extends Tagged>(store: Store<S, M>, msg: NoInfer<M>): Command<never> {\n  const input: StoreSendInput = { store, msg };\n  return { driver: STORE_SEND, input, onSuccess: () => undefined };\n}\n\n/** Framework message: a store this component reads changed (ADR 0013). Optional reducer. */\nexport interface StoreChanged {\n  readonly _tag: 'StoreChanged';\n  /** The store's name. Narrow with `changed(store, msg)`. */\n  readonly store: string;\n  readonly state: unknown;\n  readonly prev: unknown;\n}\n\n/** Narrows a `StoreChanged` message to one store's typed state, or `undefined`. */\nexport function changed<S>(\n  store: StoreRef<S>,\n  msg: StoreChanged,\n): { readonly state: S; readonly prev: S } | undefined {\n  // Sound: the message was built from this store's instance (matched by unique name).\n  return msg.store === store.name ? { state: msg.state as S, prev: msg.prev as S } : undefined;\n}\n"]}
+{"version":3,"file":"store.js","sourceRoot":"","sources":["../src/store.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACpE,OAAO,EACL,SAAS,GAKV,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,QAAQ,EAAkB,MAAM,eAAe,CAAC;AACzD,OAAO,EAAE,eAAe,EAAoB,MAAM,2BAA2B,CAAC;AAC9E,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAGhD,+EAA+E;AAC/E,MAAM,QAAQ,GAAG,OAAO,QAAQ,KAAK,WAAW,CAAC;AA0FjD,6FAA6F;AAC7F,MAAM,UAAU,WAAW,CAAsB,IAAY,EAAE,IAAqB;IAClF,QAAQ,CAAC,MAAM,GAAG,UAAU,CAAC,CAAC,8CAA8C;IAC5E,MAAM,KAAK,GAAgB;QACzB,IAAI;QACJ,IAAI;QACJ,QAAQ,EAAE,CAAC,OAAW,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC;QACzD,SAAS,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC;KAClD,CAAC;IACF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,SAAS,GAAG,CAAC,KAA6B,EAAU,EAAE,CAC1D,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAErF,SAAS,SAAS,CAChB,MAAgD,EAChD,IAAa;IAEb,oFAAoF;IACpF,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAS,EAAE,CAAC;IAChE,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAClD,IAAI,MAAM,YAAY,OAAO,EAAE,CAAC;QAC9B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,4DAA4D,CAAC,EAAE,CAAC;IAC/F,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;IAC1E,OAAO;QACL,EAAE,EAAE,KAAK;QACT,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,QAAQ,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;KAC9E,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CACrB,KAAkB,EAClB,OAAsB;IAEtB,kEAAkE;IAClE,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,MAE3B,CAAC;IACF,MAAM,SAAS,GAAG,IAAI,GAAG,EAA+B,CAAC;IACzD,IAAI,WAAwD,CAAC;IAC7D,IAAI,QAAQ,GAAG,KAAK,CAAC;IAErB,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAC/D,IAAI,KAAK,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC;IAExD,MAAM,OAAO,GAAG,CAAC,MAAiB,EAAa,EAAE,CAC/C,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC;IAE/E,IAAI,KAAgC,CAAC;IAErC,yFAAyF;IACzF,MAAM,OAAO,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAkB,EAAQ,EAAE;QAC/D,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,CAAC,IAAI,CACV,UAAU,KAAK,CAAC,IAAI,eAAe,MAAM,CAAC,IAAI,qCAAqC;gBACjF,8EAA8E,CACjF,CAAC;YACF,OAAO;QACT,CAAC;QACA,KAAK,CAAC,MAAM,CAAkC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5D,CAAC,CAAC;IAEF,MAAM,GAAG,GAAG,CAAC,QAAoD,EAAQ,EAAE;QACzE,IAAI,QAAQ,IAAI,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,CAAC,iCAAiC;QAC5F,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;YAC3B,IAAI,GAAG,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;gBAC9B,OAAO,CAAC,GAAG,CAAC,KAAuB,CAAC,CAAC;gBACrC,SAAS;YACX,CAAC;YACD,WAAW,KAAK,eAAe,CAC7B,OAAO,EACP,CAAC,GAAG,EAAE,EAAE;gBACN,wEAAwE;gBACxE,IAAI,GAAG,CAAC,IAAI,KAAK,gBAAgB;oBAAE,QAAQ,CAAC,IAAI,CAAC,GAAQ,CAAC,CAAC;YAC7D,CAAC,EACD,gBAAgB,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,SAAS,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CACxE,CAAC;YACF,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvB,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,QAAQ,GAAwB;QACpC,KAAK;QACL,IAAI,KAAK;YACP,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,EAAE,EAAE;QACX,IAAI,CAAC,GAAG;YACN,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,OAAO,CAAC,IAAI,CAAC,UAAU,KAAK,CAAC,IAAI,gCAAgC,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC;gBAC/E,OAAO;YACT,CAAC;YACD,MAAM,IAAI,GAAG,KAAK,CAAC;YACnB,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;YACvD,KAAK,GAAG,IAAI,CAAC;YACb,IAAI,gBAAgB;gBAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;YAC5D,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;gBAAE,KAAK,MAAM,QAAQ,IAAI,CAAC,GAAG,SAAS,CAAC;oBAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACxF,GAAG,CAAC,QAAQ,CAAC,CAAC;QAChB,CAAC;QACD,SAAS,CAAC,QAAQ;YAChB,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACxB,OAAO,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC1C,CAAC;QACD,OAAO;YACL,QAAQ,GAAG,IAAI,CAAC;YAChB,WAAW,EAAE,OAAO,EAAE,CAAC;YACvB,SAAS,CAAC,KAAK,EAAE,CAAC;QACpB,CAAC;QACD,SAAS,CAAC,QAAQ;YAChB,KAAK,GAAG,QAAQ,CAAC;QACnB,CAAC;KACF,CAAC;IAEF,4FAA4F;IAC5F,2FAA2F;IAC3F,IAAI,OAAO,KAAK,SAAS;QAAE,GAAG,CAAC,YAAY,CAAC,CAAC;SACxC,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC;QAC9B,UAAU,CAAC,GAAG,EAAE;YACd,GAAG,CAAC,YAAY,CAAC,CAAC;QACpB,CAAC,EAAE,CAAC,CAAC,CAAC;IACR,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,4FAA4F;AAC5F,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,IAAI,EAAE,mBAAmB;IACzB,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS;IACpB,gFAAgF;IAChF,KAAK,EAAE,CAAC,IAAe,EAAE,KAAc,EAAE,EAAE;QACzC,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,KAAuB,CAAC,CAAC;IAC9C,CAAC;CACO,CAAC;AAQX,8FAA8F;AAC9F,gGAAgG;AAChG,gGAAgG;AAChG,MAAM,UAAU,IAAI,CAAsB,KAAkB,EAAE,GAAe;IAC3E,MAAM,KAAK,GAAmB,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IAC7C,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC;AACnE,CAAC;AAWD,mFAAmF;AACnF,MAAM,UAAU,OAAO,CACrB,KAAkB,EAClB,GAAiB;IAEjB,oFAAoF;IACpF,OAAO,GAAG,CAAC,KAAK,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAU,EAAE,IAAI,EAAE,GAAG,CAAC,IAAS,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AAC/F,CAAC","sourcesContent":["// Shared state: stores as \"props from the side\" (docs/design-docs/0013-shared-state.md).\n// A store is MVI without a view: init + pure update, commands run by its own interpreter.\nimport type { StandardSchemaV1 } from '@standard-schema/spec';\nimport { DEVTOOLS_ENABLED, devCommands, devStore } from '#devtools';\nimport {\n  splitNext,\n  type AnyDriver,\n  type Command,\n  type DriverOverrides,\n  type Next,\n} from './command.js';\nimport { features, type LocalHost } from './features.js';\nimport { makeInterpreter, type Interpreter } from './internal/interpreter.js';\nimport { bindStores } from './store-binding.js';\nimport type { IntentRejected, Tagged } from './types.js';\n\n/** No DOM means a server render: store commands never run there (ADR 0012). */\nconst onServer = typeof document === 'undefined';\n\ntype Variant<M extends Tagged, K extends M['_tag']> = Extract<M, { readonly _tag: K }>;\n\n/** One pure reducer per message tag, like a component's `update` but without context. */\nexport type StoreUpdate<S, M extends Tagged> = {\n  readonly [K in M['_tag']]: (state: S, msg: Variant<M, K>) => Next<S, M>;\n};\n\nexport interface StoreSpec<S, M extends Tagged> {\n  /** Initial state (and optional commands, e.g. load a saved cart). */\n  readonly init: () => Next<S, M>;\n  readonly update: StoreUpdate<S, M>;\n  /** Driver substitutions by name for this store's commands. */\n  readonly drivers?: DriverOverrides;\n  /**\n   * Validates the server's page seed before the client uses it (any synchronous Standard\n   * Schema). An invalid seed is reported with console.error and the store starts from `init`.\n   */\n  readonly schema?: StandardSchemaV1<unknown, S>;\n}\n\n/** The result of checking a seed against a store's schema. */\nexport type SeedCheck<S> =\n  | { readonly ok: true; readonly state: S }\n  | { readonly ok: false; readonly issues: readonly string[] };\n\n/** What `ctx.read()` accepts: anything that names a store and carries its state type. */\nexport interface StoreRef<S> {\n  readonly name: string;\n  /** Type-only marker for the state type. Never set at runtime. */\n  readonly stateType?: (state: S) => S;\n}\n\n/** A live store: one per page on the client, one per request on the server, one per test. */\nexport interface StoreInstance<S, M extends Tagged> {\n  readonly store: Store<S, M>;\n  readonly state: S;\n  /** Feeds a message through the store's `update` and notifies subscribers on change. */\n  send(msg: M): void;\n  /** Called after every state change. Returns an unsubscribe function. */\n  subscribe(listener: (state: S, prev: S) => void): () => void;\n  /** Per-instance driver substitutions (test fakes). Checked before the spec's. */\n  drivers: DriverOverrides;\n  /** Stops running commands and drops subscribers. */\n  dispose(): void;\n  /** Set by the registry that holds the instance (store-to-store `send`). */\n  bindScope(resolve: StoreResolver): void;\n}\n\nexport interface Store<S, M extends Tagged> extends StoreRef<S> {\n  readonly spec: StoreSpec<S, M>;\n  /**\n   * A fresh, independent instance. `initial` skips `init`'s state (a server seed, a test\n   * fixture); `init`'s commands still run on the client.\n   */\n  instance(initial?: S): StoreInstance<S, M>;\n  /** Checks a seed with `spec.schema` (ok as-is without one). */\n  checkSeed(seed: unknown): SeedCheck<S>;\n  /** Type-only marker for the message type. Never set at runtime. */\n  readonly messageType?: (msg: M) => M;\n}\n\n/** Any store, with its types erased (for declarations and registries). */\nexport interface AnyStore {\n  readonly name: string;\n  instance(initial?: never): AnyStoreInstance;\n  checkSeed(seed: unknown): SeedCheck<unknown>;\n}\n\n/** Any store instance, with its types erased. */\nexport interface AnyStoreInstance {\n  readonly store: AnyStore;\n  readonly state: unknown;\n  send(msg: never): void;\n  subscribe(listener: (state: unknown, prev: unknown) => void): () => void;\n  dispose(): void;\n  /**\n   * Called by the registry that holds this instance, so the store's `send(other, msg)`\n   * commands reach `other`'s instance in the same scope (gyral-czi.20).\n   */\n  bindScope?(resolve: StoreResolver): void;\n}\n\n/** Finds a store's instance in a scope (a registry). */\nexport type StoreResolver = (store: AnyStore) => AnyStoreInstance;\n\n/** Store instances substituted by store name (tests, islands). */\nexport type StoreOverrides = Readonly<Record<string, AnyStoreInstance>>;\n\n/** Defines a store. `name` keys it in registries, seeds and overrides, so keep it unique. */\nexport function defineStore<S, M extends Tagged>(name: string, spec: StoreSpec<S, M>): Store<S, M> {\n  features.stores = bindStores; // components can use stores now (features.ts)\n  const store: Store<S, M> = {\n    name,\n    spec,\n    instance: (initial?: S) => createInstance(store, initial),\n    checkSeed: (seed) => checkSeed(spec.schema, seed),\n  };\n  return store;\n}\n\nconst issuePath = (issue: StandardSchemaV1.Issue): string =>\n  (issue.path ?? []).map((s) => String(typeof s === 'object' ? s.key : s)).join('.');\n\nfunction checkSeed<S>(\n  schema: StandardSchemaV1<unknown, S> | undefined,\n  seed: unknown,\n): SeedCheck<S> {\n  // Sound without a schema: the seed is this store's state, serialized by the server.\n  if (schema === undefined) return { ok: true, state: seed as S };\n  const result = schema['~standard'].validate(seed);\n  if (result instanceof Promise) {\n    return { ok: false, issues: ['the store schema is async; seeds need a synchronous schema'] };\n  }\n  if (result.issues === undefined) return { ok: true, state: result.value };\n  return {\n    ok: false,\n    issues: result.issues.map((i) => `${issuePath(i) || '(root)'}: ${i.message}`),\n  };\n}\n\nfunction createInstance<S, M extends Tagged>(\n  store: Store<S, M>,\n  initial: S | undefined,\n): StoreInstance<S, M> {\n  // Sound: send() only calls the reducer whose key equals msg._tag.\n  const reducers = store.spec.update as unknown as Readonly<\n    Record<string, ((state: S, msg: M) => Next<S, M>) | undefined>\n  >;\n  const listeners = new Set<(state: S, prev: S) => void>();\n  let interpreter: Interpreter<M | IntentRejected> | undefined;\n  let disposed = false;\n\n  const [initState, initCommands] = splitNext(store.spec.init());\n  let state = initial === undefined ? initState : initial;\n\n  const resolve = (driver: AnyDriver): AnyDriver =>\n    instance.drivers[driver.name] ?? store.spec.drivers?.[driver.name] ?? driver;\n\n  let scope: StoreResolver | undefined;\n\n  // Store-to-store writes: delivered synchronously to the other store's instance in scope.\n  const deliver = ({ store: target, msg }: StoreSendInput): void => {\n    if (scope === undefined) {\n      console.warn(\n        `store \"${store.name}\" sends to \"${target.name}\" but is not held by a store scope ` +\n          '(a registry, <gyral-stores> or the page default), so the message is dropped.',\n      );\n      return;\n    }\n    (scope(target) as { send(msg: unknown): void }).send(msg);\n  };\n\n  const run = (commands: ReadonlyArray<Command<M | IntentRejected>>): void => {\n    if (onServer || disposed || commands.length === 0) return; // never on the server (ADR 0012)\n    for (const cmd of commands) {\n      if (cmd.driver === STORE_SEND) {\n        deliver(cmd.input as StoreSendInput);\n        continue;\n      }\n      interpreter ??= makeInterpreter<M | IntentRejected>(\n        resolve,\n        (msg) => {\n          // Stores have no IntentRejected reducer; only their own messages apply.\n          if (msg._tag !== 'IntentRejected') instance.send(msg as M);\n        },\n        DEVTOOLS_ENABLED ? devCommands(() => `store:${store.name}`) : undefined,\n      );\n      interpreter.run(cmd);\n    }\n  };\n\n  const instance: StoreInstance<S, M> = {\n    store,\n    get state() {\n      return state;\n    },\n    drivers: {},\n    send(msg) {\n      const reducer = reducers[msg._tag];\n      if (reducer === undefined) {\n        console.warn(`store \"${store.name}\" has no update for message \"${msg._tag}\".`);\n        return;\n      }\n      const prev = state;\n      const [next, commands] = splitNext(reducer(prev, msg));\n      state = next;\n      if (DEVTOOLS_ENABLED) devStore(store.name, msg, prev, next);\n      if (!Object.is(next, prev)) for (const listener of [...listeners]) listener(next, prev);\n      run(commands);\n    },\n    subscribe(listener) {\n      listeners.add(listener);\n      return () => listeners.delete(listener);\n    },\n    dispose() {\n      disposed = true;\n      interpreter?.dispose();\n      listeners.clear();\n    },\n    bindScope(resolver) {\n      scope = resolver;\n    },\n  };\n\n  // A seeded instance (hydration) starts init's commands after the hydrating renders flushed,\n  // so a fast driver can't change state under them (same reason as ADR 0012 for components).\n  if (initial === undefined) run(initCommands);\n  else if (initCommands.length > 0)\n    setTimeout(() => {\n      run(initCommands);\n    }, 0);\n  return instance;\n}\n\n/** Marker driver for `send()`: `define()` delivers these to the resolved store instance. */\nexport const STORE_SEND = {\n  name: '@gyral/store-send',\n  run: () => undefined,\n  /** A component's send: delivered to its instance of the store (features.ts). */\n  local: (host: LocalHost, input: unknown) => {\n    host.stores().send(input as StoreSendInput);\n  },\n} as const;\n\n/** The input of a `send()` command. */\nexport interface StoreSendInput {\n  readonly store: AnyStore;\n  readonly msg: Tagged;\n}\n\n/** A command that sends `msg` to the component's instance of `store`. Writes are commands. */\n// NoInfer: the store decides the message type, so a literal (`{ _tag: 'Track', … }`) is checked\n// against it instead of widening `_tag` to string (store-to-store sends have no other context).\nexport function send<S, M extends Tagged>(store: Store<S, M>, msg: NoInfer<M>): Command<never> {\n  const input: StoreSendInput = { store, msg };\n  return { driver: STORE_SEND, input, onSuccess: () => undefined };\n}\n\n/** Framework message: a store this component reads changed (ADR 0013). Optional reducer. */\nexport interface StoreChanged {\n  readonly _tag: 'StoreChanged';\n  /** The store's name. Narrow with `changed(store, msg)`. */\n  readonly store: string;\n  readonly state: unknown;\n  readonly prev: unknown;\n}\n\n/** Narrows a `StoreChanged` message to one store's typed state, or `undefined`. */\nexport function changed<S>(\n  store: StoreRef<S>,\n  msg: StoreChanged,\n): { readonly state: S; readonly prev: S } | undefined {\n  // Sound: the message was built from this store's instance (matched by unique name).\n  return msg.store === store.name ? { state: msg.state as S, prev: msg.prev as S } : undefined;\n}\n"]}

package/dist/stores-provider.d.ts

@@ -1,6 +1,2 @@
-/**
- * Registers `<gyral-stores>` for server renders; `@gyral/ssr` calls it. A no-op in the browser,
- * where a plain `<gyral-stores>` element already scopes stores and the server's shadow root
- * (a `<slot>`) needs no JavaScript. Idempotent.
- */
-export declare function defineStoresProvider(): void;
+import { type ServerProvider } from './view/index.js';
+export declare const storesProvider: ServerProvider;

package/dist/stores-provider.js

@@ -1,57 +1,23 @@
-// `<gyral-stores>` as a real element for server rendering (gyral-czi.20, ADR 0013 addendum).
-// On the client a provider is a plain element (scopeFor walks the DOM). On the server it must
-// be a registered element: components find it through Lit's SSR event path, and its instances'
-// states are written to `data-gyral-stores` for the client to restore.
-import { css, html, isServer, LitElement } from 'lit';
+// `<gyral-stores>` on the server (ADR 0013, view/06-server.md "Components"). In the browser a
+// provider is a plain element: scopeFor() walks the DOM to it. On the server it is written as a
+// plain element too, and the renderer gives its subtree the provider's registry (components'
+// `ctx.read` resolves there) and writes its `data-gyral-stores` seed: the states of the
+// instances passed in `.instances`. Stores not listed start from `init` on both sides.
 import { warnJsonHazard } from './json-safety.js';
-import { providerScope, STORE_SEED_ATTRIBUTE, STORES_ELEMENT, STORES_REQUEST, } from './store-scope.js';
-const onServer = isServer;
-/** Server-only element: renders `<slot>` in Declarative Shadow DOM, so children show as-is. */
-class GyralStores extends LitElement {
-    static { this.styles = css `
-    :host {
-      display: contents;
-    }
-  `; }
-    #instances;
-    /** This subtree's store instances; stores not listed start from their seed or `init`. */
-    get instances() {
-        return this.#instances;
-    }
-    set instances(value) {
-        this.#instances = value;
-        // Written before the attributes render; the client restores it (providerScope()).
-        if (value !== undefined && value.length > 0) {
-            const seed = Object.fromEntries(value.map((i) => [i.store.name, i.state]));
-            for (const [name, state] of Object.entries(seed)) {
-                warnJsonHazard(`store "${name}" in <${STORES_ELEMENT}>`, state, 'state');
-            }
-            this.setAttribute(STORE_SEED_ATTRIBUTE, JSON.stringify(seed));
-        }
-    }
-    constructor() {
-        super();
-        // Lit's SSR routes a slotted child's events slot → getRootNode() → host, and the root is
-        // only this element's shadow root if one exists; the renderer never calls connectedCallback
-        // (which would create it), so attach it here.
-        this.attachShadow({ mode: 'open' });
-        this.addEventListener(STORES_REQUEST, (event) => {
-            event.stopPropagation();
-            event.detail.registry = providerScope(this);
-        });
-    }
-    render() {
-        return html `<slot></slot>`;
-    }
-}
-/**
- * Registers `<gyral-stores>` for server renders; `@gyral/ssr` calls it. A no-op in the browser,
- * where a plain `<gyral-stores>` element already scopes stores and the server's shadow root
- * (a `<slot>`) needs no JavaScript. Idempotent.
- */
-export function defineStoresProvider() {
-    if (onServer && customElements.get(STORES_ELEMENT) === undefined) {
-        customElements.define(STORES_ELEMENT, GyralStores);
-    }
-}
+import { STORE_SEED_ATTRIBUTE, STORES_ELEMENT, StoreRegistry } from './store-scope.js';
+import { DEV } from './view/index.js';
+export const storesProvider = {
+    tag: STORES_ELEMENT,
+    open({ properties }) {
+        const listed = properties['instances'];
+        const instances = Array.isArray(listed) ? listed : [];
+        const registry = new StoreRegistry(instances);
+        if (instances.length === 0)
+            return { scope: registry, attributes: {} };
+        const snapshot = registry.snapshot();
+        if (DEV)
+            warnJsonHazard(`<${STORES_ELEMENT}>`, snapshot, 'seed');
+        return { scope: registry, attributes: { [STORE_SEED_ATTRIBUTE]: JSON.stringify(snapshot) } };
+    },
+};
 //# sourceMappingURL=stores-provider.js.map

package/dist/stores-provider.js.map

@@ -1 +1 @@
-{"version":3,"file":"stores-provider.js","sourceRoot":"","sources":["../src/stores-provider.ts"],"names":[],"mappings":"AAAA,6FAA6F;AAC7F,8FAA8F;AAC9F,+FAA+F;AAC/F,uEAAuE;AACvE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,KAAK,CAAC;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAElD,OAAO,EACL,aAAa,EACb,oBAAoB,EACpB,cAAc,EACd,cAAc,GAEf,MAAM,kBAAkB,CAAC;AAE1B,MAAM,QAAQ,GAAY,QAAQ,CAAC;AAEnC,+FAA+F;AAC/F,MAAM,WAAY,SAAQ,UAAU;aAClB,WAAM,GAAG,GAAG,CAAA;;;;GAI3B,CAAC;IAEF,UAAU,CAA0C;IAEpD,yFAAyF;IACzF,IAAI,SAAS;QACX,OAAO,IAAI,CAAC,UAAU,CAAC;IACzB,CAAC;IAED,IAAI,SAAS,CAAC,KAA8C;QAC1D,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC;QACxB,kFAAkF;QAClF,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5C,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAC3E,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjD,cAAc,CAAC,UAAU,IAAI,SAAS,cAAc,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;YAC3E,CAAC;YACD,IAAI,CAAC,YAAY,CAAC,oBAAoB,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IAED;QACE,KAAK,EAAE,CAAC;QACR,yFAAyF;QACzF,4FAA4F;QAC5F,8CAA8C;QAC9C,IAAI,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QACpC,IAAI,CAAC,gBAAgB,CAAC,cAAc,EAAE,CAAC,KAAK,EAAE,EAAE;YAC9C,KAAK,CAAC,eAAe,EAAE,CAAC;YACvB,KAAoC,CAAC,MAAM,CAAC,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QAC9E,CAAC,CAAC,CAAC;IACL,CAAC;IAEkB,MAAM;QACvB,OAAO,IAAI,CAAA,eAAe,CAAC;IAC7B,CAAC;;AAGH;;;;GAIG;AACH,MAAM,UAAU,oBAAoB;IAClC,IAAI,QAAQ,IAAI,cAAc,CAAC,GAAG,CAAC,cAAc,CAAC,KAAK,SAAS,EAAE,CAAC;QACjE,cAAc,CAAC,MAAM,CAAC,cAAc,EAAE,WAAW,CAAC,CAAC;IACrD,CAAC;AACH,CAAC","sourcesContent":["// `<gyral-stores>` as a real element for server rendering (gyral-czi.20, ADR 0013 addendum).\n// On the client a provider is a plain element (scopeFor walks the DOM). On the server it must\n// be a registered element: components find it through Lit's SSR event path, and its instances'\n// states are written to `data-gyral-stores` for the client to restore.\nimport { css, html, isServer, LitElement } from 'lit';\nimport { warnJsonHazard } from './json-safety.js';\nimport type { AnyStoreInstance } from './store.js';\nimport {\n  providerScope,\n  STORE_SEED_ATTRIBUTE,\n  STORES_ELEMENT,\n  STORES_REQUEST,\n  type StoresRequest,\n} from './store-scope.js';\n\nconst onServer: boolean = isServer;\n\n/** Server-only element: renders `<slot>` in Declarative Shadow DOM, so children show as-is. */\nclass GyralStores extends LitElement {\n  static override styles = css`\n    :host {\n      display: contents;\n    }\n  `;\n\n  #instances: readonly AnyStoreInstance[] | undefined;\n\n  /** This subtree's store instances; stores not listed start from their seed or `init`. */\n  get instances(): readonly AnyStoreInstance[] | undefined {\n    return this.#instances;\n  }\n\n  set instances(value: readonly AnyStoreInstance[] | undefined) {\n    this.#instances = value;\n    // Written before the attributes render; the client restores it (providerScope()).\n    if (value !== undefined && value.length > 0) {\n      const seed = Object.fromEntries(value.map((i) => [i.store.name, i.state]));\n      for (const [name, state] of Object.entries(seed)) {\n        warnJsonHazard(`store \"${name}\" in <${STORES_ELEMENT}>`, state, 'state');\n      }\n      this.setAttribute(STORE_SEED_ATTRIBUTE, JSON.stringify(seed));\n    }\n  }\n\n  constructor() {\n    super();\n    // Lit's SSR routes a slotted child's events slot → getRootNode() → host, and the root is\n    // only this element's shadow root if one exists; the renderer never calls connectedCallback\n    // (which would create it), so attach it here.\n    this.attachShadow({ mode: 'open' });\n    this.addEventListener(STORES_REQUEST, (event) => {\n      event.stopPropagation();\n      (event as CustomEvent<StoresRequest>).detail.registry = providerScope(this);\n    });\n  }\n\n  protected override render(): unknown {\n    return html`<slot></slot>`;\n  }\n}\n\n/**\n * Registers `<gyral-stores>` for server renders; `@gyral/ssr` calls it. A no-op in the browser,\n * where a plain `<gyral-stores>` element already scopes stores and the server's shadow root\n * (a `<slot>`) needs no JavaScript. Idempotent.\n */\nexport function defineStoresProvider(): void {\n  if (onServer && customElements.get(STORES_ELEMENT) === undefined) {\n    customElements.define(STORES_ELEMENT, GyralStores);\n  }\n}\n"]}
+{"version":3,"file":"stores-provider.js","sourceRoot":"","sources":["../src/stores-provider.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,gGAAgG;AAChG,6FAA6F;AAC7F,wFAAwF;AACxF,uFAAuF;AACvF,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,oBAAoB,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEvF,OAAO,EAAE,GAAG,EAAuB,MAAM,iBAAiB,CAAC;AAE3D,MAAM,CAAC,MAAM,cAAc,GAAmB;IAC5C,GAAG,EAAE,cAAc;IACnB,IAAI,CAAC,EAAE,UAAU,EAAE;QACjB,MAAM,MAAM,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;QACvC,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAE,MAAsC,CAAC,CAAC,CAAC,EAAE,CAAC;QACvF,MAAM,QAAQ,GAAG,IAAI,aAAa,CAAC,SAAS,CAAC,CAAC;QAC9C,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;QACvE,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACrC,IAAI,GAAG;YAAE,cAAc,CAAC,IAAI,cAAc,GAAG,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QACjE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,CAAC,oBAAoB,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;IAC/F,CAAC;CACF,CAAC","sourcesContent":["// `<gyral-stores>` on the server (ADR 0013, view/06-server.md \"Components\"). In the browser a\n// provider is a plain element: scopeFor() walks the DOM to it. On the server it is written as a\n// plain element too, and the renderer gives its subtree the provider's registry (components'\n// `ctx.read` resolves there) and writes its `data-gyral-stores` seed: the states of the\n// instances passed in `.instances`. Stores not listed start from `init` on both sides.\nimport { warnJsonHazard } from './json-safety.js';\nimport { STORE_SEED_ATTRIBUTE, STORES_ELEMENT, StoreRegistry } from './store-scope.js';\nimport type { AnyStoreInstance } from './store.js';\nimport { DEV, type ServerProvider } from './view/index.js';\n\nexport const storesProvider: ServerProvider = {\n  tag: STORES_ELEMENT,\n  open({ properties }) {\n    const listed = properties['instances'];\n    const instances = Array.isArray(listed) ? (listed as readonly AnyStoreInstance[]) : [];\n    const registry = new StoreRegistry(instances);\n    if (instances.length === 0) return { scope: registry, attributes: {} };\n    const snapshot = registry.snapshot();\n    if (DEV) warnJsonHazard(`<${STORES_ELEMENT}>`, snapshot, 'seed');\n    return { scope: registry, attributes: { [STORE_SEED_ATTRIBUTE]: JSON.stringify(snapshot) } };\n  },\n};\n"]}

package/dist/transitions.d.ts

@@ -1,9 +1,8 @@
 /** True when a view transition may run now (API present, motion not reduced). */
-export declare function canTransition(): boolean;
+export declare const canTransition: () => boolean;
 /**
- * Runs `update` inside `document.startViewTransition` when allowed, otherwise directly.
- * `update` must resolve once the DOM reflects the new state. The returned promise settles when
- * `update` has run. A transition skipped by a newer one still runs its update (per spec); its
- * rejected `ready` is expected and swallowed.
+ * Runs `update` (a whole flush) as a view transition's update callback. A transition skipped
+ * by a newer one still runs its update (per spec); its rejected promises are expected and
+ * swallowed. Call only after `canTransition()`.
  */
-export declare function withViewTransition(update: () => Promise<void>): Promise<void>;
+export declare function startTransition(update: () => void): void;

package/dist/transitions.js

@@ -1,26 +1,17 @@
-// View Transitions for define() components (ADR 0001 addendum). An ADR 0003 enhancement:
-// without the API, or with reduced motion requested, updates render normally.
-const supportsViewTransitions = (doc) => 'startViewTransition' in doc;
+// View Transitions for the scheduler (view/04-scheduler.md "View transitions", ADR 0001
+// addendum). An ADR 0003 enhancement: without the API, or with reduced motion requested, the
+// flush runs as normal.
 const ignore = () => undefined;
 /** True when a view transition may run now (API present, motion not reduced). */
-export function canTransition() {
-    if (typeof document === 'undefined' || !supportsViewTransitions(document))
-        return false;
-    return !window.matchMedia('(prefers-reduced-motion: reduce)').matches;
-}
+export const canTransition = () => 'startViewTransition' in document && !matchMedia('(prefers-reduced-motion: reduce)').matches;
 /**
- * Runs `update` inside `document.startViewTransition` when allowed, otherwise directly.
- * `update` must resolve once the DOM reflects the new state. The returned promise settles when
- * `update` has run. A transition skipped by a newer one still runs its update (per spec); its
- * rejected `ready` is expected and swallowed.
+ * Runs `update` (a whole flush) as a view transition's update callback. A transition skipped
+ * by a newer one still runs its update (per spec); its rejected promises are expected and
+ * swallowed. Call only after `canTransition()`.
  */
-export function withViewTransition(update) {
-    if (!canTransition() || !supportsViewTransitions(document))
-        return update();
-    return new Promise((resolve, reject) => {
-        const transition = document.startViewTransition(() => update().then(resolve, reject));
-        transition.ready.catch(ignore);
-        transition.finished.catch(ignore);
-    });
+export function startTransition(update) {
+    const transition = document.startViewTransition(update);
+    transition.ready.catch(ignore);
+    transition.finished.catch(ignore);
 }
 //# sourceMappingURL=transitions.js.map

package/dist/transitions.js.map

@@ -1 +1 @@
-{"version":3,"file":"transitions.js","sourceRoot":"","sources":["../src/transitions.ts"],"names":[],"mappings":"AAAA,yFAAyF;AACzF,8EAA8E;AAW9E,MAAM,uBAAuB,GAAG,CAAC,GAAa,EAA4C,EAAE,CAC1F,qBAAqB,IAAI,GAAG,CAAC;AAE/B,MAAM,MAAM,GAAG,GAAS,EAAE,CAAC,SAAS,CAAC;AAErC,iFAAiF;AACjF,MAAM,UAAU,aAAa;IAC3B,IAAI,OAAO,QAAQ,KAAK,WAAW,IAAI,CAAC,uBAAuB,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IACxF,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,kCAAkC,CAAC,CAAC,OAAO,CAAC;AACxE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAA2B;IAC5D,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,uBAAuB,CAAC,QAAQ,CAAC;QAAE,OAAO,MAAM,EAAE,CAAC;IAC5E,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;QACrC,MAAM,UAAU,GAAG,QAAQ,CAAC,mBAAmB,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;QACtF,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC/B,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC","sourcesContent":["// View Transitions for define() components (ADR 0001 addendum). An ADR 0003 enhancement:\n// without the API, or with reduced motion requested, updates render normally.\n\ninterface ViewTransitionLike {\n  readonly ready: Promise<unknown>;\n  readonly finished: Promise<unknown>;\n}\n\ninterface ViewTransitionDocument {\n  startViewTransition(update: () => Promise<void>): ViewTransitionLike;\n}\n\nconst supportsViewTransitions = (doc: Document): doc is Document & ViewTransitionDocument =>\n  'startViewTransition' in doc;\n\nconst ignore = (): void => undefined;\n\n/** True when a view transition may run now (API present, motion not reduced). */\nexport function canTransition(): boolean {\n  if (typeof document === 'undefined' || !supportsViewTransitions(document)) return false;\n  return !window.matchMedia('(prefers-reduced-motion: reduce)').matches;\n}\n\n/**\n * Runs `update` inside `document.startViewTransition` when allowed, otherwise directly.\n * `update` must resolve once the DOM reflects the new state. The returned promise settles when\n * `update` has run. A transition skipped by a newer one still runs its update (per spec); its\n * rejected `ready` is expected and swallowed.\n */\nexport function withViewTransition(update: () => Promise<void>): Promise<void> {\n  if (!canTransition() || !supportsViewTransitions(document)) return update();\n  return new Promise((resolve, reject) => {\n    const transition = document.startViewTransition(() => update().then(resolve, reject));\n    transition.ready.catch(ignore);\n    transition.finished.catch(ignore);\n  });\n}\n"]}
+{"version":3,"file":"transitions.js","sourceRoot":"","sources":["../src/transitions.ts"],"names":[],"mappings":"AAAA,wFAAwF;AACxF,6FAA6F;AAC7F,wBAAwB;AAWxB,MAAM,MAAM,GAAG,GAAS,EAAE,CAAC,SAAS,CAAC;AAErC,iFAAiF;AACjF,MAAM,CAAC,MAAM,aAAa,GAAG,GAAY,EAAE,CACzC,qBAAqB,IAAI,QAAQ,IAAI,CAAC,UAAU,CAAC,kCAAkC,CAAC,CAAC,OAAO,CAAC;AAE/F;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,MAAkB;IAChD,MAAM,UAAU,GAAI,QAA8C,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC;IAC/F,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC/B,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;AACpC,CAAC","sourcesContent":["// View Transitions for the scheduler (view/04-scheduler.md \"View transitions\", ADR 0001\n// addendum). An ADR 0003 enhancement: without the API, or with reduced motion requested, the\n// flush runs as normal.\n\ninterface ViewTransitionLike {\n  readonly ready: Promise<unknown>;\n  readonly finished: Promise<unknown>;\n}\n\ninterface ViewTransitionDocument {\n  startViewTransition(update: () => void): ViewTransitionLike;\n}\n\nconst ignore = (): void => undefined;\n\n/** True when a view transition may run now (API present, motion not reduced). */\nexport const canTransition = (): boolean =>\n  'startViewTransition' in document && !matchMedia('(prefers-reduced-motion: reduce)').matches;\n\n/**\n * Runs `update` (a whole flush) as a view transition's update callback. A transition skipped\n * by a newer one still runs its update (per spec); its rejected promises are expected and\n * swallowed. Call only after `canTransition()`.\n */\nexport function startTransition(update: () => void): void {\n  const transition = (document as Document & ViewTransitionDocument).startViewTransition(update);\n  transition.ready.catch(ignore);\n  transition.finished.catch(ignore);\n}\n"]}

package/dist/types.d.ts

@@ -1,5 +1,5 @@
-import type { PropertyDeclaration } from 'lit';
-import type { Styles } from './styles.js';
+import type { Prop } from './prop.js';
+import type { ChildValue, Styles } from './view/index.js';
 import type { CommandInfo } from './invokers.js';
 import type { HydrateStrategy } from './islands.js';
 import type { DriverOverrides, Next } from './command.js';
@@ -106,25 +106,13 @@ export type IntentNames<M extends Tagged> = {
     readonly [K in M['_tag']]: K;
 };
 /**
- * One prop's declaration: Lit's `PropertyDeclaration` plus Gyral's honesty rule (ADR 0007
- * addendum). A prop is `undefined` until a parent, an attribute or a hydration seed sets it,
- * so a prop whose type excludes `undefined` must say how that is guaranteed:
- * - `required: true`: a missing value is a bug, reported once per instance at first render;
- * - `default: value`: used whenever the element's value is `undefined`.
- * A prop whose type includes `undefined` needs neither.
+ * The prop builders for props type `P` (view/05-element.md "Props"): one `prop.*` builder per
+ * key. A builder's output type must fit the prop's type, so a prop whose type excludes
+ * `undefined` needs `required: true` or a `default` (the honesty rule, ADR 0007 addendum).
+ * Without explicit type arguments, `define()` infers `P` from the builders.
  */
-export type PropDeclaration<T> = PropertyDeclaration & (undefined extends T ? {
-    readonly required?: false;
-    readonly default?: T;
-} : {
-    readonly required: true;
-    readonly default?: undefined;
-} | {
-    readonly required?: false;
-    readonly default: T;
-});
 export type PropDeclarations<P> = {
-    readonly [K in keyof P]-?: PropDeclaration<P[K]>;
+    readonly [K in keyof P]-?: Prop<P[K]>;
 };
 /** State of a component that keeps none (a pure view of its props). Its `init` is optional. */
 export type Stateless = Readonly<Record<string, never>>;
@@ -137,17 +125,17 @@ type InitField<S, M extends Tagged, P> = Stateless extends S ? {
 };
 export type ComponentSpec<S, M extends Tagged, P> = SpecBody<S, M, P> & InitField<S, M, P>;
 interface SpecBody<S, M extends Tagged, P> {
-    /** Lit reactive property declarations: the component's inputs. */
+    /** The component's inputs, declared with `prop.*` builders. */
     readonly props?: PropDeclarations<P>;
     /** INTENT: platform events to messages. */
     readonly intent: Intents<M>;
     /** MODEL: pure state transitions. */
     readonly update: Update<S, M, P>;
     /** VIEW: pure function of state and props. Name intents in markup; never attach closures. */
-    readonly view: (state: S, intents: IntentNames<M>, ctx: Ctx<P>) => unknown;
+    readonly view: (state: S, intents: IntentNames<M>, ctx: Ctx<P>) => ChildValue;
     /**
-     * Shadow-root styles: `css` templates, plain CSS strings, `CSSStyleSheet`s, or arrays of
-     * them. Ignored (with a warning) when `shadow: false`.
+     * Shadow-root styles: `css` values, plain CSS strings, or arrays of them, nested freely.
+     * Each maps to one shared `CSSStyleSheet`. Ignored (with a warning) when `shadow: false`.
      */
     readonly styles?: Styles;
     /**
@@ -176,6 +164,14 @@ interface SpecBody<S, M extends Tagged, P> {
      * reorders). Skipped without browser support or when reduced motion is requested.
      */
     readonly viewTransition?: (prev: S, next: S, msg: Tagged) => boolean;
+    /**
+     * Messages from bursty sources (a WebSocket feed, a sensor) whose renders wait for the next
+     * animation frame, so many messages in one frame cost one render: `renderOnFrame: ['Ticked']`.
+     * Reducers still run at once. Any other change to the component renders in the usual
+     * microtask flush, taking pending frame work with it. `'StoreChanged'` covers store changes.
+     * Pages that get no frames (hidden) render from a 100 ms timer. view/04-scheduler.md.
+     */
+    readonly renderOnFrame?: readonly (M['_tag'] | 'StoreChanged')[];
     /**
      * Boolean facts about the state, exposed to CSS as custom states:
      * `states: (s) => ({ loading: s._tag === 'Loading' })` enables `:host(:state(loading))` and

package/dist/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"","sourcesContent":["import type { PropertyDeclaration } from 'lit';\nimport type { Styles } from './styles.js';\nimport type { CommandInfo } from './invokers.js';\nimport type { HydrateStrategy } from './islands.js';\nimport type { DriverOverrides, Next } from './command.js';\nimport type { AnyStore, StoreChanged, StoreRef } from './store.js';\n\n/** Every message is a tagged object; the tag is also the intent name used in markup. */\nexport interface Tagged {\n  readonly _tag: string;\n}\n\n/** What the intent layer sees when a `data-intent` element fires its trigger event. */\nexport interface IntentInput {\n  /** The `data-intent` value (a message tag). */\n  readonly name: string;\n  readonly event: Event;\n  /** The element carrying `data-intent`. */\n  readonly target: Element;\n  /** `value` of the input, select, textarea or button that carries the intent. */\n  readonly value: string | undefined;\n  /** `checked` for checkbox and radio inputs. */\n  readonly checked: boolean | undefined;\n  /** Submitted data (including the submitter button) when the intent is on a `<form>`. */\n  readonly formData: FormData | undefined;\n  /** The output a child component emitted, when the intent is on a child element. */\n  readonly detail: unknown;\n  /** `KeyboardEvent.key` for `keydown`/`keyup` intents. */\n  readonly key: string | undefined;\n  /** For `toggle` intents (popover, `<details>`): the state it changed to. */\n  readonly newState: 'open' | 'closed' | undefined;\n  /** For `command` intents: the invoker's command (e.g. `--clear`) and source (gyral-czi.6). */\n  readonly command: CommandInfo | undefined;\n}\n\n/** Reads a declared store's current state, typed by the store (ADR 0013). */\nexport type StoreReader = <S>(store: StoreRef<S>) => S;\n\n/** Read-only context handed to every reducer and to the view (ADR 0007, 0013). */\nexport interface Ctx<P> {\n  /** Props from above. */\n  readonly props: P;\n  /** Stores from the side: `read(cart).lines`. The store must be in `spec.stores`. */\n  readonly read: StoreReader;\n}\n\n/** Framework message: declared props changed after the first render (ADR 0007). */\nexport interface PropsChanged<P> {\n  readonly _tag: 'PropsChanged';\n  readonly props: P;\n  readonly prev: P;\n}\n\n/**\n * Framework message: the component is live in the browser (ADR 0012 addendum). Sent once,\n * after the first client render has completed, to every client-side instance. Use it for\n * progressive enhancement: render the no-JS form on the server and in the first client render\n * (so hydration matches), then switch to the enhanced UI in the `Hydrated` reducer.\n */\nexport interface Hydrated {\n  readonly _tag: 'Hydrated';\n  /** `true` when the instance resumed from server-rendered markup (a hydration seed). */\n  readonly serverRendered: boolean;\n}\n\n/** One validation problem. `path` is dot-joined and matches the field's `name`. */\nexport interface FieldIssue {\n  readonly path: string;\n  readonly message: string;\n}\n\n/** Submitted text values of a form (Files are dropped: they can't be re-filled). */\nexport type FormFields = Readonly<Record<string, string | readonly string[]>>;\n\n/** Framework message: an intent's input failed schema validation (ADR 0008). */\nexport interface IntentRejected {\n  readonly _tag: 'IntentRejected';\n  /** The `data-intent` name whose input was rejected. */\n  readonly intent: string;\n  readonly issues: readonly FieldIssue[];\n  /**\n   * For `form()` rejections: what the user submitted, so the view can re-fill the form. On\n   * the no-JS path (ADR 0008 server half) the server re-renders the page from this.\n   */\n  // `| undefined` so schemas with plain optional fields (valibot `optional`) can produce it.\n  readonly values?: FormFields | undefined;\n}\n\ntype ParseResult<M> = M | IntentRejected | undefined;\n\n/**\n * Parses a platform event into one message variant, `IntentRejected`, or `undefined` to\n * ignore it. May be async because schema validation may be.\n */\nexport type IntentParser<M> = (input: IntentInput) => ParseResult<M> | Promise<ParseResult<M>>;\n\ntype Variant<M extends Tagged, K extends M['_tag']> = Extract<M, { readonly _tag: K }>;\n\n/** Intent parsers keyed by the message tag they produce. Messages from drivers need none. */\nexport type Intents<M extends Tagged> = {\n  readonly [K in M['_tag']]?: IntentParser<Variant<M, K>>;\n};\n\ntype Reducer<S, M, Msg, P> = (state: S, msg: Msg, ctx: Ctx<P>) => Next<S, M>;\n\n/**\n * One pure reducer per message tag (exhaustive by construction), plus optional reducers\n * for framework messages. Reducers may return commands.\n */\nexport type Update<S, M extends Tagged, P = object> = {\n  readonly [K in M['_tag']]: Reducer<S, M, Variant<M, K>, P>;\n} & {\n  readonly PropsChanged?: Reducer<S, M, PropsChanged<P>, P>;\n  readonly IntentRejected?: Reducer<S, M, IntentRejected, P>;\n  readonly StoreChanged?: Reducer<S, M, StoreChanged, P>;\n  readonly Hydrated?: Reducer<S, M, Hydrated, P>;\n};\n\n/** Typed intent names handed to the view, so `data-intent=${i.Increment}` is checked. */\nexport type IntentNames<M extends Tagged> = { readonly [K in M['_tag']]: K };\n\n/**\n * One prop's declaration: Lit's `PropertyDeclaration` plus Gyral's honesty rule (ADR 0007\n * addendum). A prop is `undefined` until a parent, an attribute or a hydration seed sets it,\n * so a prop whose type excludes `undefined` must say how that is guaranteed:\n * - `required: true`: a missing value is a bug, reported once per instance at first render;\n * - `default: value`: used whenever the element's value is `undefined`.\n * A prop whose type includes `undefined` needs neither.\n */\nexport type PropDeclaration<T> = PropertyDeclaration &\n  (undefined extends T\n    ? { readonly required?: false; readonly default?: T }\n    : | { readonly required: true; readonly default?: undefined }\n      | { readonly required?: false; readonly default: T });\n\nexport type PropDeclarations<P> = { readonly [K in keyof P]-?: PropDeclaration<P[K]> };\n\n/** State of a component that keeps none (a pure view of its props). Its `init` is optional. */\nexport type Stateless = Readonly<Record<string, never>>;\n\n/** Initial model state (and optional commands), computed from props on first render. */\ntype Init<S, M, P> = (props: P) => Next<S, M>;\n\n// `init` may be omitted only when an empty object is a valid state (Stateless, all-optional).\ntype InitField<S, M extends Tagged, P> = Stateless extends S\n  ? { readonly init?: Init<S, M, P> }\n  : { readonly init: Init<S, M, P> };\n\nexport type ComponentSpec<S, M extends Tagged, P> = SpecBody<S, M, P> & InitField<S, M, P>;\n\ninterface SpecBody<S, M extends Tagged, P> {\n  /** Lit reactive property declarations: the component's inputs. */\n  readonly props?: PropDeclarations<P>;\n  /** INTENT: platform events to messages. */\n  readonly intent: Intents<M>;\n  /** MODEL: pure state transitions. */\n  readonly update: Update<S, M, P>;\n  /** VIEW: pure function of state and props. Name intents in markup; never attach closures. */\n  readonly view: (state: S, intents: IntentNames<M>, ctx: Ctx<P>) => unknown;\n  /**\n   * Shadow-root styles: `css` templates, plain CSS strings, `CSSStyleSheet`s, or arrays of\n   * them. Ignored (with a warning) when `shadow: false`.\n   */\n  readonly styles?: Styles;\n  /**\n   * `false` renders the view as the element's own light-DOM children (ADR 0014): document CSS\n   * applies, and the server writes plain children instead of a `<template shadowrootmode>`.\n   * For page-level components (listings, articles). No `<slot>`s and no `styles`. Default `true`.\n   */\n  readonly shadow?: boolean;\n  /**\n   * When a server-rendered instance hydrates (gyral-4k7.4): `load` (default), `idle`,\n   * `visible` (scrolled into view) or `interaction` (first pointer/focus). Client-only\n   * renders are unaffected.\n   */\n  readonly hydrate?: HydrateStrategy;\n  /** Extra event types that may trigger intents via `data-intent-on` (e.g. `pointerdown`). */\n  readonly events?: readonly string[];\n  /** Driver substitutions by name, for every instance (ADR 0006). */\n  readonly drivers?: DriverOverrides;\n  /**\n   * Stores this component reads with `ctx.read(store)` and writes with `send(store, msg)`.\n   * Their changes re-render it (and reach the optional `StoreChanged` reducer). ADR 0013.\n   */\n  readonly stores?: readonly AnyStore[];\n  /**\n   * Return `true` to render this state change inside a View Transition (route changes, list\n   * reorders). Skipped without browser support or when reduced motion is requested.\n   */\n  readonly viewTransition?: (prev: S, next: S, msg: Tagged) => boolean;\n  /**\n   * Boolean facts about the state, exposed to CSS as custom states:\n   * `states: (s) => ({ loading: s._tag === 'Loading' })` enables `:host(:state(loading))` and\n   * `gy-x:state(loading)`. Applied after each render; feature-detected; not on the server.\n   */\n  readonly states?: (state: S) => Readonly<Record<string, boolean>>;\n}\n"]}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"","sourcesContent":["import type { Prop } from './prop.js';\nimport type { ChildValue, Styles } from './view/index.js';\nimport type { CommandInfo } from './invokers.js';\nimport type { HydrateStrategy } from './islands.js';\nimport type { DriverOverrides, Next } from './command.js';\nimport type { AnyStore, StoreChanged, StoreRef } from './store.js';\n\n/** Every message is a tagged object; the tag is also the intent name used in markup. */\nexport interface Tagged {\n  readonly _tag: string;\n}\n\n/** What the intent layer sees when a `data-intent` element fires its trigger event. */\nexport interface IntentInput {\n  /** The `data-intent` value (a message tag). */\n  readonly name: string;\n  readonly event: Event;\n  /** The element carrying `data-intent`. */\n  readonly target: Element;\n  /** `value` of the input, select, textarea or button that carries the intent. */\n  readonly value: string | undefined;\n  /** `checked` for checkbox and radio inputs. */\n  readonly checked: boolean | undefined;\n  /** Submitted data (including the submitter button) when the intent is on a `<form>`. */\n  readonly formData: FormData | undefined;\n  /** The output a child component emitted, when the intent is on a child element. */\n  readonly detail: unknown;\n  /** `KeyboardEvent.key` for `keydown`/`keyup` intents. */\n  readonly key: string | undefined;\n  /** For `toggle` intents (popover, `<details>`): the state it changed to. */\n  readonly newState: 'open' | 'closed' | undefined;\n  /** For `command` intents: the invoker's command (e.g. `--clear`) and source (gyral-czi.6). */\n  readonly command: CommandInfo | undefined;\n}\n\n/** Reads a declared store's current state, typed by the store (ADR 0013). */\nexport type StoreReader = <S>(store: StoreRef<S>) => S;\n\n/** Read-only context handed to every reducer and to the view (ADR 0007, 0013). */\nexport interface Ctx<P> {\n  /** Props from above. */\n  readonly props: P;\n  /** Stores from the side: `read(cart).lines`. The store must be in `spec.stores`. */\n  readonly read: StoreReader;\n}\n\n/** Framework message: declared props changed after the first render (ADR 0007). */\nexport interface PropsChanged<P> {\n  readonly _tag: 'PropsChanged';\n  readonly props: P;\n  readonly prev: P;\n}\n\n/**\n * Framework message: the component is live in the browser (ADR 0012 addendum). Sent once,\n * after the first client render has completed, to every client-side instance. Use it for\n * progressive enhancement: render the no-JS form on the server and in the first client render\n * (so hydration matches), then switch to the enhanced UI in the `Hydrated` reducer.\n */\nexport interface Hydrated {\n  readonly _tag: 'Hydrated';\n  /** `true` when the instance resumed from server-rendered markup (a hydration seed). */\n  readonly serverRendered: boolean;\n}\n\n/** One validation problem. `path` is dot-joined and matches the field's `name`. */\nexport interface FieldIssue {\n  readonly path: string;\n  readonly message: string;\n}\n\n/** Submitted text values of a form (Files are dropped: they can't be re-filled). */\nexport type FormFields = Readonly<Record<string, string | readonly string[]>>;\n\n/** Framework message: an intent's input failed schema validation (ADR 0008). */\nexport interface IntentRejected {\n  readonly _tag: 'IntentRejected';\n  /** The `data-intent` name whose input was rejected. */\n  readonly intent: string;\n  readonly issues: readonly FieldIssue[];\n  /**\n   * For `form()` rejections: what the user submitted, so the view can re-fill the form. On\n   * the no-JS path (ADR 0008 server half) the server re-renders the page from this.\n   */\n  // `| undefined` so schemas with plain optional fields (valibot `optional`) can produce it.\n  readonly values?: FormFields | undefined;\n}\n\ntype ParseResult<M> = M | IntentRejected | undefined;\n\n/**\n * Parses a platform event into one message variant, `IntentRejected`, or `undefined` to\n * ignore it. May be async because schema validation may be.\n */\nexport type IntentParser<M> = (input: IntentInput) => ParseResult<M> | Promise<ParseResult<M>>;\n\ntype Variant<M extends Tagged, K extends M['_tag']> = Extract<M, { readonly _tag: K }>;\n\n/** Intent parsers keyed by the message tag they produce. Messages from drivers need none. */\nexport type Intents<M extends Tagged> = {\n  readonly [K in M['_tag']]?: IntentParser<Variant<M, K>>;\n};\n\ntype Reducer<S, M, Msg, P> = (state: S, msg: Msg, ctx: Ctx<P>) => Next<S, M>;\n\n/**\n * One pure reducer per message tag (exhaustive by construction), plus optional reducers\n * for framework messages. Reducers may return commands.\n */\nexport type Update<S, M extends Tagged, P = object> = {\n  readonly [K in M['_tag']]: Reducer<S, M, Variant<M, K>, P>;\n} & {\n  readonly PropsChanged?: Reducer<S, M, PropsChanged<P>, P>;\n  readonly IntentRejected?: Reducer<S, M, IntentRejected, P>;\n  readonly StoreChanged?: Reducer<S, M, StoreChanged, P>;\n  readonly Hydrated?: Reducer<S, M, Hydrated, P>;\n};\n\n/** Typed intent names handed to the view, so `data-intent=${i.Increment}` is checked. */\nexport type IntentNames<M extends Tagged> = { readonly [K in M['_tag']]: K };\n\n/**\n * The prop builders for props type `P` (view/05-element.md \"Props\"): one `prop.*` builder per\n * key. A builder's output type must fit the prop's type, so a prop whose type excludes\n * `undefined` needs `required: true` or a `default` (the honesty rule, ADR 0007 addendum).\n * Without explicit type arguments, `define()` infers `P` from the builders.\n */\nexport type PropDeclarations<P> = { readonly [K in keyof P]-?: Prop<P[K]> };\n\n/** State of a component that keeps none (a pure view of its props). Its `init` is optional. */\nexport type Stateless = Readonly<Record<string, never>>;\n\n/** Initial model state (and optional commands), computed from props on first render. */\ntype Init<S, M, P> = (props: P) => Next<S, M>;\n\n// `init` may be omitted only when an empty object is a valid state (Stateless, all-optional).\ntype InitField<S, M extends Tagged, P> = Stateless extends S\n  ? { readonly init?: Init<S, M, P> }\n  : { readonly init: Init<S, M, P> };\n\nexport type ComponentSpec<S, M extends Tagged, P> = SpecBody<S, M, P> & InitField<S, M, P>;\n\ninterface SpecBody<S, M extends Tagged, P> {\n  /** The component's inputs, declared with `prop.*` builders. */\n  readonly props?: PropDeclarations<P>;\n  /** INTENT: platform events to messages. */\n  readonly intent: Intents<M>;\n  /** MODEL: pure state transitions. */\n  readonly update: Update<S, M, P>;\n  /** VIEW: pure function of state and props. Name intents in markup; never attach closures. */\n  readonly view: (state: S, intents: IntentNames<M>, ctx: Ctx<P>) => ChildValue;\n  /**\n   * Shadow-root styles: `css` values, plain CSS strings, or arrays of them, nested freely.\n   * Each maps to one shared `CSSStyleSheet`. Ignored (with a warning) when `shadow: false`.\n   */\n  readonly styles?: Styles;\n  /**\n   * `false` renders the view as the element's own light-DOM children (ADR 0014): document CSS\n   * applies, and the server writes plain children instead of a `<template shadowrootmode>`.\n   * For page-level components (listings, articles). No `<slot>`s and no `styles`. Default `true`.\n   */\n  readonly shadow?: boolean;\n  /**\n   * When a server-rendered instance hydrates (gyral-4k7.4): `load` (default), `idle`,\n   * `visible` (scrolled into view) or `interaction` (first pointer/focus). Client-only\n   * renders are unaffected.\n   */\n  readonly hydrate?: HydrateStrategy;\n  /** Extra event types that may trigger intents via `data-intent-on` (e.g. `pointerdown`). */\n  readonly events?: readonly string[];\n  /** Driver substitutions by name, for every instance (ADR 0006). */\n  readonly drivers?: DriverOverrides;\n  /**\n   * Stores this component reads with `ctx.read(store)` and writes with `send(store, msg)`.\n   * Their changes re-render it (and reach the optional `StoreChanged` reducer). ADR 0013.\n   */\n  readonly stores?: readonly AnyStore[];\n  /**\n   * Return `true` to render this state change inside a View Transition (route changes, list\n   * reorders). Skipped without browser support or when reduced motion is requested.\n   */\n  readonly viewTransition?: (prev: S, next: S, msg: Tagged) => boolean;\n  /**\n   * Messages from bursty sources (a WebSocket feed, a sensor) whose renders wait for the next\n   * animation frame, so many messages in one frame cost one render: `renderOnFrame: ['Ticked']`.\n   * Reducers still run at once. Any other change to the component renders in the usual\n   * microtask flush, taking pending frame work with it. `'StoreChanged'` covers store changes.\n   * Pages that get no frames (hidden) render from a 100 ms timer. view/04-scheduler.md.\n   */\n  readonly renderOnFrame?: readonly (M['_tag'] | 'StoreChanged')[];\n  /**\n   * Boolean facts about the state, exposed to CSS as custom states:\n   * `states: (s) => ({ loading: s._tag === 'Loading' })` enables `:host(:state(loading))` and\n   * `gy-x:state(loading)`. Applied after each render; feature-detected; not on the server.\n   */\n  readonly states?: (state: S) => Readonly<Record<string, boolean>>;\n}\n"]}

package/dist/view/attributes.d.ts

@@ -0,0 +1,6 @@
+/** Host attribute holding a component's JSON seed (ADR 0012); the client removes it. */
+export declare const SEED_ATTRIBUTE = "data-gyral-seed";
+/** Marks a server-rendered light-DOM host (ADR 0014), so hydration knows its own content. */
+export declare const LIGHT_ATTRIBUTE = "data-gyral-light";
+/** A deferred island's strategy (07 "Islands"), next to `defer-hydration`. */
+export declare const ISLAND_ATTRIBUTE = "data-gyral-hydrate";

package/dist/view/attributes.js

@@ -0,0 +1,10 @@
+// Host attributes the server renderer writes (view/06-server.md "Components") and the client
+// reads (07). Core's hydration.ts, light-dom.ts and islands.ts declare the same names for the
+// client; server-components.node.test.ts checks that they match.
+/** Host attribute holding a component's JSON seed (ADR 0012); the client removes it. */
+export const SEED_ATTRIBUTE = 'data-gyral-seed';
+/** Marks a server-rendered light-DOM host (ADR 0014), so hydration knows its own content. */
+export const LIGHT_ATTRIBUTE = 'data-gyral-light';
+/** A deferred island's strategy (07 "Islands"), next to `defer-hydration`. */
+export const ISLAND_ATTRIBUTE = 'data-gyral-hydrate';
+//# sourceMappingURL=attributes.js.map

package/dist/view/attributes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"attributes.js","sourceRoot":"","sources":["../../src/view/attributes.ts"],"names":[],"mappings":"AAAA,6FAA6F;AAC7F,8FAA8F;AAC9F,iEAAiE;AACjE,wFAAwF;AACxF,MAAM,CAAC,MAAM,cAAc,GAAG,iBAAiB,CAAC;AAChD,6FAA6F;AAC7F,MAAM,CAAC,MAAM,eAAe,GAAG,kBAAkB,CAAC;AAClD,8EAA8E;AAC9E,MAAM,CAAC,MAAM,gBAAgB,GAAG,oBAAoB,CAAC","sourcesContent":["// Host attributes the server renderer writes (view/06-server.md \"Components\") and the client\n// reads (07). Core's hydration.ts, light-dom.ts and islands.ts declare the same names for the\n// client; server-components.node.test.ts checks that they match.\n/** Host attribute holding a component's JSON seed (ADR 0012); the client removes it. */\nexport const SEED_ATTRIBUTE = 'data-gyral-seed';\n/** Marks a server-rendered light-DOM host (ADR 0014), so hydration knows its own content. */\nexport const LIGHT_ATTRIBUTE = 'data-gyral-light';\n/** A deferred island's strategy (07 \"Islands\"), next to `defer-hydration`. */\nexport const ISLAND_ATTRIBUTE = 'data-gyral-hydrate';\n"]}

package/dist/view/compiled.d.ts

@@ -0,0 +1 @@
+export { compiled } from './template.js';

package/dist/view/compiled.js

@@ -0,0 +1,6 @@
+// `@gyral/core/compiled`: the entry the Vite template compiler's output imports `compiled`
+// from (view/01-templates.md "Compiled"). Internal: apps never import it themselves, and it is
+// not documented as API. A subpath of its own, so the main entry's API stays as documented
+// and compiled code still shares the one template module with `html` (same package copy).
+export { compiled } from './template.js';
+//# sourceMappingURL=compiled.js.map

package/dist/view/compiled.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compiled.js","sourceRoot":"","sources":["../../src/view/compiled.ts"],"names":[],"mappings":"AAAA,2FAA2F;AAC3F,+FAA+F;AAC/F,2FAA2F;AAC3F,0FAA0F;AAC1F,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC","sourcesContent":["// `@gyral/core/compiled`: the entry the Vite template compiler's output imports `compiled`\n// from (view/01-templates.md \"Compiled\"). Internal: apps never import it themselves, and it is\n// not documented as API. A subpath of its own, so the main entry's API stays as documented\n// and compiled code still shares the one template module with `html` (same package copy).\nexport { compiled } from './template.js';\n"]}

package/dist/view/dev-off.d.ts

@@ -0,0 +1 @@
+export declare const DEV: boolean;

package/dist/view/dev-off.js

@@ -0,0 +1,4 @@
+// Production build of the view layer's flag (`#view-dev` without the `development` condition):
+// a literal `false`, so bundlers drop every `if (DEV)` check and warning. See dev.ts.
+export const DEV = false;
+//# sourceMappingURL=dev-off.js.map

package/dist/view/dev-off.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dev-off.js","sourceRoot":"","sources":["../../src/view/dev-off.ts"],"names":[],"mappings":"AAAA,+FAA+F;AAC/F,sFAAsF;AACtF,MAAM,CAAC,MAAM,GAAG,GAAY,KAAK,CAAC","sourcesContent":["// Production build of the view layer's flag (`#view-dev` without the `development` condition):\n// a literal `false`, so bundlers drop every `if (DEV)` check and warning. See dev.ts.\nexport const DEV: boolean = false;\n"]}

package/dist/view/dev.d.ts

@@ -0,0 +1 @@
+export declare const DEV: boolean;

package/dist/view/dev.js

@@ -0,0 +1,5 @@
+// Development build of the view layer's flag, resolved through core's `#view-dev` import with
+// the `development` condition (view/09-template-rules.md "One rule set, three places"). Checks
+// and warnings are guarded with `if (DEV)`; production builds get dev-off.ts, so they vanish.
+export const DEV = true;
+//# sourceMappingURL=dev.js.map

package/dist/view/dev.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dev.js","sourceRoot":"","sources":["../../src/view/dev.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,+FAA+F;AAC/F,8FAA8F;AAC9F,MAAM,CAAC,MAAM,GAAG,GAAY,IAAI,CAAC","sourcesContent":["// Development build of the view layer's flag, resolved through core's `#view-dev` import with\n// the `development` condition (view/09-template-rules.md \"One rule set, three places\"). Checks\n// and warnings are guarded with `if (DEV)`; production builds get dev-off.ts, so they vanish.\nexport const DEV: boolean = true;\n"]}

package/dist/view/flags.d.ts

@@ -0,0 +1 @@
+export { DEV } from '#view-dev';

package/dist/view/flags.js

@@ -0,0 +1,4 @@
+// The development flag for view/ modules that may not use `#` imports themselves (view/server/,
+// ADR 0018 "Where it lives"): core's `#view-dev`, resolved by the `development` condition.
+export { DEV } from '#view-dev';
+//# sourceMappingURL=flags.js.map

package/dist/view/flags.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"flags.js","sourceRoot":"","sources":["../../src/view/flags.ts"],"names":[],"mappings":"AAAA,gGAAgG;AAChG,2FAA2F;AAC3F,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC","sourcesContent":["// The development flag for view/ modules that may not use `#` imports themselves (view/server/,\n// ADR 0018 \"Where it lives\"): core's `#view-dev`, resolved by the `development` condition.\nexport { DEV } from '#view-dev';\n"]}

package/dist/view/index.d.ts

@@ -0,0 +1,21 @@
+export { DEV } from '#view-dev';
+export { html, compiled, isTemplateResult, templateOf, type TemplateResult } from './template.js';
+export { templateElement } from './template-element.js';
+export { normalize, analyze, type Analysis } from './normalize/normalize.js';
+export { checkTemplate, type TemplateIssue } from './normalize/check.js';
+export { templateId } from './normalize/id.js';
+export { TemplateError } from './normalize/errors.js';
+export { shapeMismatch, repairError } from './normalize/shape.js';
+export type { NormalizedTemplate, PartSpec, Path, Segment, Shape, ShapeNode, TemplateObject, } from './normalize/types.js';
+export { hydrate } from './render/hydrate.js';
+export { render, renderBatch } from './render/render.js';
+export type { Markup, SeenMarkup } from './render/seen.js';
+export { HydrationMismatch } from './render/mismatch.js';
+export { each } from './render/list.js';
+export { raw } from './render/raw.js';
+export { nothing, type ChildValue, type ListResult, type RawResult } from './render/values.js';
+export { defineHook } from './render/hook-part.js';
+export type { HookAttributes, HookResult, HookSpec } from './render/hooks.js';
+export { css, isStyleSource, sheetsFor, styleTexts, type CssValue, type StyleSource, type Styles, } from './styles.js';
+export { ISLAND_ATTRIBUTE, LIGHT_ATTRIBUTE, SEED_ATTRIBUTE } from './attributes.js';
+export { registerServerComponent, registerServerProvider, serverComponent, serverComponents, serverProvider, type ServerComponent, type ServerProvider, type ServerRenderInput, type ServerRendering, } from './registry.js';

package/dist/view/index.js

@@ -0,0 +1,21 @@
+// The view layer's entry point for the rest of core (ADR 0018 "Where it lives"): code outside
+// view/ imports only this module. @gyral/core's index re-exports the public part of it.
+export { DEV } from '#view-dev';
+export { html, compiled, isTemplateResult, templateOf } from './template.js';
+export { templateElement } from './template-element.js';
+export { normalize, analyze } from './normalize/normalize.js';
+export { checkTemplate } from './normalize/check.js';
+export { templateId } from './normalize/id.js';
+export { TemplateError } from './normalize/errors.js';
+export { shapeMismatch, repairError } from './normalize/shape.js';
+export { hydrate } from './render/hydrate.js';
+export { render, renderBatch } from './render/render.js';
+export { HydrationMismatch } from './render/mismatch.js';
+export { each } from './render/list.js';
+export { raw } from './render/raw.js';
+export { nothing } from './render/values.js';
+export { defineHook } from './render/hook-part.js';
+export { css, isStyleSource, sheetsFor, styleTexts, } from './styles.js';
+export { ISLAND_ATTRIBUTE, LIGHT_ATTRIBUTE, SEED_ATTRIBUTE } from './attributes.js';
+export { registerServerComponent, registerServerProvider, serverComponent, serverComponents, serverProvider, } from './registry.js';
+//# sourceMappingURL=index.js.map

package/dist/view/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/view/index.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,wFAAwF;AACxF,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAChC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,gBAAgB,EAAE,UAAU,EAAuB,MAAM,eAAe,CAAC;AAClG,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,SAAS,EAAE,OAAO,EAAiB,MAAM,0BAA0B,CAAC;AAC7E,OAAO,EAAE,aAAa,EAAsB,MAAM,sBAAsB,CAAC;AACzE,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAWlE,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAEzD,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACxC,OAAO,EAAE,GAAG,EAAE,MAAM,iBAAiB,CAAC;AACtC,OAAO,EAAE,OAAO,EAAoD,MAAM,oBAAoB,CAAC;AAC/F,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAEnD,OAAO,EACL,GAAG,EACH,aAAa,EACb,SAAS,EACT,UAAU,GAIX,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACpF,OAAO,EACL,uBAAuB,EACvB,sBAAsB,EACtB,eAAe,EACf,gBAAgB,EAChB,cAAc,GAKf,MAAM,eAAe,CAAC","sourcesContent":["// The view layer's entry point for the rest of core (ADR 0018 \"Where it lives\"): code outside\n// view/ imports only this module. @gyral/core's index re-exports the public part of it.\nexport { DEV } from '#view-dev';\nexport { html, compiled, isTemplateResult, templateOf, type TemplateResult } from './template.js';\nexport { templateElement } from './template-element.js';\nexport { normalize, analyze, type Analysis } from './normalize/normalize.js';\nexport { checkTemplate, type TemplateIssue } from './normalize/check.js';\nexport { templateId } from './normalize/id.js';\nexport { TemplateError } from './normalize/errors.js';\nexport { shapeMismatch, repairError } from './normalize/shape.js';\nexport type {\n  NormalizedTemplate,\n  PartSpec,\n  Path,\n  Segment,\n  Shape,\n  ShapeNode,\n  TemplateObject,\n} from './normalize/types.js';\n\nexport { hydrate } from './render/hydrate.js';\nexport { render, renderBatch } from './render/render.js';\nexport type { Markup, SeenMarkup } from './render/seen.js';\nexport { HydrationMismatch } from './render/mismatch.js';\nexport { each } from './render/list.js';\nexport { raw } from './render/raw.js';\nexport { nothing, type ChildValue, type ListResult, type RawResult } from './render/values.js';\nexport { defineHook } from './render/hook-part.js';\nexport type { HookAttributes, HookResult, HookSpec } from './render/hooks.js';\nexport {\n  css,\n  isStyleSource,\n  sheetsFor,\n  styleTexts,\n  type CssValue,\n  type StyleSource,\n  type Styles,\n} from './styles.js';\nexport { ISLAND_ATTRIBUTE, LIGHT_ATTRIBUTE, SEED_ATTRIBUTE } from './attributes.js';\nexport {\n  registerServerComponent,\n  registerServerProvider,\n  serverComponent,\n  serverComponents,\n  serverProvider,\n  type ServerComponent,\n  type ServerProvider,\n  type ServerRenderInput,\n  type ServerRendering,\n} from './registry.js';\n"]}

package/dist/view/normalize/check.d.ts

@@ -0,0 +1,20 @@
+import { TemplateError } from './errors.js';
+/** A position in the minified strings: string index, offset in that string. */
+export type At = readonly [index: number, offset: number];
+/** A template's first rule violation, and where the normalizer was when it found it. */
+export interface TemplateIssue {
+    /** The same error `normalize(strings)` throws. */
+    readonly error: TemplateError;
+    /** The whitespace-minified strings the rules read (as many as the input). */
+    readonly strings: readonly string[];
+    /** Where reading stopped. */
+    readonly at: At;
+    /**
+     * Where the token the error is about starts, when the tree builder found it in a tag, an end
+     * tag or a run of text (the token ends at `at`). Undefined when the tokenizer found it at
+     * `at` itself, or at a child hole (then `at` is the end of the string before the hole).
+     */
+    readonly from: At | undefined;
+}
+/** The template's first rule violation, or undefined when `normalize` would accept it. */
+export declare function checkTemplate(strings: readonly string[]): TemplateIssue | undefined;