@statorjs/stator 2.0.0 → 2.0.2

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@statorjs/stator",
-  "version": "2.0.0",
+  "version": "2.0.2",
   "description": "Server-canonical web framework: business logic in composable state machines, UI as a thin renderer binding machine outputs to DOM positions. Ships TypeScript source (Vite/tsx-native by design).",
   "license": "MIT",
   "type": "module",
@@ -88,7 +88,7 @@
     "pino-pretty": "^13.1.3",
     "vite": "^6.0.0",
     "vitest": "^2.1.0",
-    "@statorjs/stator": "2.0.0"
+    "@statorjs/stator": "2.0.2"
   },
   "scripts": {
     "typecheck": "tsc --noEmit",

package/src/compiler/compile.ts

@@ -81,6 +81,19 @@ export function compile(source: string, opts: CompileOptions = {}): CompileResul
   const script = scripts.join('\n')
   if (script.trim()) {
     if (analyzeScriptClasses(script).length > 0) {
+      // An island's shell renders from props — there is no frontmatter
+      // execution on this path, and silently discarding the fence produced
+      // either a dangling-identifier crash at render or dead code that
+      // looked alive. Surface it instead.
+      if (frontmatter.trim()) {
+        throw new CompileError(
+          `stator: an island file (a template with a StatorElement <script>) can't have ` +
+            `frontmatter — the fence would never run: the island's shell renders from props. ` +
+            `Move the server work into the route or component that renders this island and ` +
+            `pass the results as props.`,
+          locAt(source, 0, opts.id),
+        )
+      }
       return compileClient(template, script, {
         hash,
         scopeAttr,

package/src/engine/define-machine.ts

@@ -33,15 +33,22 @@ export interface DefineMachineConfig<
   emits?: EmitsConfig<C, E>
   context: C
   initial: NoInfer<S>
-  /** Transitions see `helpers.reads` typed as `ReadsMap<TReads>`. */
-  states: Record<S, StateNode<C, E, S, ReadsMap<TReads>>>
+  /** Transitions see `helpers.reads` typed as `ReadsMap<TReads>`.
+   *
+   *  The state union S is inferred from this map's KEYS and nowhere else —
+   *  every interior S position (`to:`, the machine-level `on:`) is NoInfer.
+   *  Without that, `to:` string literals become competing inference
+   *  candidates, and whenever they don't happen to cover every state the
+   *  union silently collapses to the covered subset (surfaced by the store's
+   *  cart machine when its line ops moved to machine-level `on:`). */
+  states: Record<S, StateNode<C, E, NoInfer<S>, ReadsMap<TReads>>>
   /** Machine-level transitions: handlers that apply in ANY state, consulted only
    *  when the current state does not declare the event (a state-scoped handler
    *  always wins). The home for a completion event whose handling must not depend
    *  on an unrelated machine-wide state — e.g. a per-record save completing while
    *  the machine is busy reloading the collection. Without this, such a
    *  completion is dropped wherever the current state has no handler for it. */
-  on?: OnMap<C, E, S, ReadsMap<TReads>>
+  on?: OnMap<C, E, NoInfer<S>, ReadsMap<TReads>>
   selectors?: Sel
   /** APP machines only: persist this machine's snapshot through the AppStore
    *  so its state survives restarts. Opt-in — caches and other

package/src/template/html-attributes.ts

@@ -62,6 +62,7 @@ export interface GlobalHTMLAttributes {
 
 /** Per-element extra attributes. Extend as components need them. */
 export interface ElementSpecificAttributes {
+  time: { datetime?: string }
   a: { href?: string; target?: string; rel?: string; download?: string | boolean }
   button: {
     type?: 'submit' | 'reset' | 'button'