@hozu/cli 0.22.0 → 0.24.0

package/dist/remote.js.map

@@ -1 +1 @@
-{"version":3,"file":"remote.js","sourceRoot":"","sources":["../src/remote.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAA;AAClD,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAA;AAChE,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AACxC,OAAO,EAAoB,KAAK,EAAwC,cAAc,EAAE,MAAM,eAAe,CAAA;AAC7G,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAA;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAkB3C,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,EAAE,CACxC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;KACpB,WAAW,EAAE;KACb,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,IAAI,MAAM,CAAA;AAEzC,kFAAkF;AAClF,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,MAAc,EACd,KAAkB,EAClB,SAAkB;IAElB,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAO,YAAY,CAAC,CAAA;IAC9D,OAAO,IAAI;SACR,SAAS,CAAC,SAAS,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;SAC7D,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE;QACzB,MAAM,IAAI,GAAG,aAAa,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;QACjD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,cAAc,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAA;IACjF,CAAC,CAAC,CAAA;AACN,CAAC;AAED,MAAM,OAAO,GAAG,CAAC,GAAW,EAAE,EAAE;IAC9B,IAAI,CAAC;QACH,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC;aACjC,KAAK,CAAC,IAAI,CAAC;aACX,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;QACzC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAA;IAC/C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAA;IACb,CAAC;AACH,CAAC,CAAA;AAED,0FAA0F;AAC1F,MAAM,UAAU,iBAAiB,CAAC,MAAc,EAAE,MAAqB,EAAE,GAAW;IAClF,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAA;IACpE,MAAM,GAAG,GAAiB,EAAE,CAAA;IAC5B,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,MAAM,OAAO,GAAG,CAAC,OAAe,EAAE,KAAa,EAAE,OAAe,EAAE,EAAE,CAClE,GAAG,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,QAAQ;YAC9B,OAAO;YACP,QAAQ,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE;YAClE,KAAK;YACL,GAAG,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,IAAI,EAAE;SACvD,CAAC,CAAA;QACJ,IAAI,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC;YAC9B,OAAO,CACL,+BAA+B,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,yCAAyC,EACrF,kEAAkE,EAClE,mFAAmF,CACpF,CAAA;YACD,SAAQ;QACV,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,OAAO,CACL,uBAAuB,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,iBAAiB,EACrD,0DAA0D,EAC1D,+EAA+E,CAChF,CAAA;YACD,SAAQ;QACV,CAAC;QACD,MAAM,KAAK,GAAG,aAAa,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAA;QACzD,IAAI,KAAK,KAAK,CAAC,CAAC,QAAQ,CAAC,WAAW;YAClC,OAAO,CACL,uBAAuB,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,KAAK,IAAI,gBAAgB,0BAA0B,CAAC,CAAC,QAAQ,CAAC,WAAW,GAAG,EAC9H,0GAA0G,EAC1G,qEAAqE,CACtE,CAAA;IACL,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC"}
+{"version":3,"file":"remote.js","sourceRoot":"","sources":["../src/remote.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAA;AAClD,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAA;AAChE,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AACxC,OAAO,EAAoB,KAAK,EAAwC,cAAc,EAAE,MAAM,eAAe,CAAA;AAC7G,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAA;AAC5C,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA;AAkB7D,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,EAAE,CACxC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;KACpB,WAAW,EAAE;KACb,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,IAAI,MAAM,CAAA;AAEzC,kFAAkF;AAClF,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,MAAc,EACd,KAAkB,EAClB,SAAkB;IAElB,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAO,YAAY,CAAC,CAAA;IAC9D,OAAO,IAAI;SACR,SAAS,CAAC,SAAS,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;SAC7D,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE;QACzB,MAAM,IAAI,GAAG,aAAa,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;QACjD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,cAAc,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAA;IACjF,CAAC,CAAC,CAAA;AACN,CAAC;AAED,MAAM,OAAO,GAAG,CAAC,GAAW,EAAE,EAAE;IAC9B,IAAI,CAAC;QACH,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC;aACjC,KAAK,CAAC,IAAI,CAAC;aACX,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;QACzC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAA;IAC/C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAA;IACb,CAAC;AACH,CAAC,CAAA;AAED,0FAA0F;AAC1F,MAAM,UAAU,iBAAiB,CAAC,MAAc,EAAE,MAAqB,EAAE,GAAW;IAClF,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAA;IACpE,MAAM,GAAG,GAAiB,EAAE,CAAA;IAC5B,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,MAAM,OAAO,GAAG,CAAC,OAAe,EAAE,KAAa,EAAE,OAAe,EAAE,EAAE,CAClE,GAAG,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,QAAQ;YAC9B,OAAO;YACP,QAAQ,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE;YAClE,KAAK;YACL,GAAG,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,IAAI,EAAE;SACvD,CAAC,CAAA;QACJ,IAAI,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC;YAC9B,OAAO,CACL,+BAA+B,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,yCAAyC,EACrF,kEAAkE,EAClE,mFAAmF,CACpF,CAAA;YACD,SAAQ;QACV,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,OAAO,CACL,uBAAuB,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,iBAAiB,EACrD,0DAA0D,EAC1D,+EAA+E,CAChF,CAAA;YACD,SAAQ;QACV,CAAC;QACD,MAAM,IAAI,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;QACzC,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAA;QAClC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YACxD,OAAO,CACL,uBAAuB,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,kHAAkH,EACtJ,wGAAwG,EACxG,qEAAqE,CACtE,CAAA;YACD,SAAQ;QACV,CAAC;QACD,MAAM,KAAK,GAAG;YACZ,GAAG,CAAC,CAAC,QAAQ,CAAC,OAAO;iBAClB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC;iBAC7C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC;YAC1E,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;iBAClB,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;iBAC/D,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,sBAAsB,CAAC;SAC9C,CAAA;QACD,IAAI,KAAK,CAAC,MAAM;YACd,OAAO,CACL,uBAAuB,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EACpE,4GAA4G,EAC5G,qEAAqE,CACtE,CAAA;IACL,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@hozu/cli",
-  "version": "0.22.0",
+  "version": "0.24.0",
   "description": "The hozu command: check, map, why, show, get, browse, call, plan, add, build, dev, serve, docs, migrate and skill (all with --json)",
   "keywords": [
     "hozu",
@@ -48,14 +48,14 @@
     "access": "public"
   },
   "dependencies": {
-    "@hozu/core": "0.22.0",
-    "@hozu/devtools": "0.22.0",
-    "@hozu/validator": "0.22.0",
-    "@hozu/machine": "0.22.0",
-    "@hozu/compiler": "0.22.0",
-    "@hozu/transform": "0.22.0"
+    "@hozu/core": "0.24.0",
+    "@hozu/validator": "0.24.0",
+    "@hozu/machine": "0.24.0",
+    "@hozu/compiler": "0.24.0",
+    "@hozu/devtools": "0.24.0",
+    "@hozu/transform": "0.24.0"
   },
   "devDependencies": {
-    "create-hozu": "0.22.0"
+    "create-hozu": "0.24.0"
   }
 }

package/schema/browse.schema.json

@@ -110,7 +110,28 @@
           }
         },
         "differs": {
-          "type": "boolean"
+          "type": "boolean",
+          "description": "Both modes made a request and the resulting text differs."
+        },
+        "differences": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "on": {
+                "type": "string"
+              },
+              "off": {
+                "type": "string"
+              }
+            },
+            "required": [
+              "on",
+              "off"
+            ],
+            "additionalProperties": false
+          },
+          "description": "The words that differ, at most three lines (ADR 0070 B6); a URL pair first when the pages differ."
         },
         "elsewhere": {
           "type": "array",

package/schema/call.schema.json

@@ -77,7 +77,7 @@
           "items": {
             "type": "string"
           },
-          "description": "Tags a mutation invalidated."
+          "description": "Tags a mutation or a writing endpoint invalidated."
         },
         "refreshes": {
           "type": "array",

package/schema/gen.schema.json

@@ -17,15 +17,25 @@
               "package": {
                 "type": "string"
               },
-              "fingerprint": {
-                "type": "string"
-              },
               "effects": {
                 "type": "array",
                 "items": {
-                  "type": "string"
+                  "type": "object",
+                  "properties": {
+                    "ref": {
+                      "type": "string"
+                    },
+                    "fingerprint": {
+                      "type": "string"
+                    }
+                  },
+                  "required": [
+                    "ref",
+                    "fingerprint"
+                  ],
+                  "additionalProperties": false
                 },
-                "description": "The effects it implements: feature.symbol."
+                "description": "The effects it implements (feature.symbol), each with the fingerprint its calls carry (ADR 0070 C3)."
               },
               "written": {
                 "type": "boolean",
@@ -37,15 +47,22 @@
                   "type": "string"
                 },
                 "description": "Effects that cannot be remote (the server refuses to start with them, HZ093)."
+              },
+              "notes": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                },
+                "description": "Number fields named like an id or a count, which may want z.int() (ADR 0070 C4), and enums without a title that became several Go types, which a title makes one; not diagnostics."
               }
             },
             "required": [
               "file",
               "package",
-              "fingerprint",
               "effects",
               "written",
-              "problems"
+              "problems",
+              "notes"
             ],
             "additionalProperties": false
           }

package/schema/inspect.schema.json

@@ -747,7 +747,8 @@
         "alternate",
         "env",
         "session",
-        "state"
+        "state",
+        "route"
       ]
     },
     "GuardExpr": {

package/schema/migrate.schema.json

@@ -41,15 +41,23 @@
               },
               "summary": {
                 "type": "string"
+              },
+              "changes": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                }
               }
             },
             "required": [
               "from",
               "to",
-              "summary"
+              "summary",
+              "changes"
             ],
             "additionalProperties": false
-          }
+          },
+          "description": "Each step's changes: `summary` joins `changes` with \"; \"."
         },
         "changed": {
           "type": "array",

package/skill/SKILL.md

@@ -46,10 +46,10 @@ Hozu is not in your training data: this file and `npx hozu docs <topic>` are the
 ## Topics (`npx hozu docs <topic>`; `--more`: options, edge cases)
 | Task | Topic |
 |---|---|
-| a new feature, the files, a complete example | `feature` |
+| a new feature, its files, an example | `feature` |
 | elements, attributes, events, lists, links, reuse | `views` |
 | states, events, invoke, timers, guards | `machine` |
-| queries, mutations, tags, `fn()`, resolvers | `data` |
+| queries, mutations, tags, `fn()`, resolvers, a database | `data` |
 | where effects run, `fetch.ts`, browser storage, static hosts | `fetch` |
 | contracts and the lock | `contracts` |
 | routes, search, pages, `head`, 403 / 404 | `pages` |

package/skill/topics/data.md

@@ -97,16 +97,44 @@ export default app({
 ```
 - The loop: change the declaration in TypeScript → `npx hozu gen` (writes the contract: types, the `Resolvers`
   interface, `Handler`) → implement the interface until `go test ./...` passes → restart the service → `hozu check`.
-  A contract older than the declarations is HZ093; the service answers 409 to calls from other declarations.
+  A contract older than the declarations is HZ093 naming the changed effects; each effect has its own fingerprint, so
+  the service answers 409 only to calls of an effect that changed.
 - In Go: return a declared error as the error value (`hozu.NotesAddNoteDuplicate{Text: t}`), `hozu.Invalid{…}` for
   input problems; `ctx.Session` is nil when signed out; `ctx.SetSession(…)` / `ctx.SignOut()` in mutations. Public
   queries never receive the session. `ctx.File(token)` reads an upload, `ctx.Header` an endpoint's request headers
   (no cookie), `ctx.Preview` preview mode. The secret is required (16+ characters, the same value on both sides,
   HZ093): the service trusts the session it is sent, so serve `hozu.Handler(r, hozu.Options{Secret: …})` on a private
   address (it refuses to start without one).
+- Any other Go error answers 500 with its first line, which reaches `onError` and `Unexpected` as a thrown TypeScript
+  error does, with the call's id (`x-hozu-call`) that the service's log line names
+  (`hozu: notes.listNotes (call 3fa2c1d0): …`). A service that is not running is `no service answers at <url>`.
 - `.meta({ title: 'Note' })` on a schema makes it one Go type wherever it appears; `z.int()` is `int64`, a plain
-  number `float64`. Only `runs: 'server'` effects and JSON endpoints can be remote (HZ093).
-- `examples/notes-go` is the reference: the notes app with every resolver in Go.
+  number `float64` (`hozu gen` notes number fields named like ids or counts); a string `z.enum` is a named type with
+  one constant per member (`hozu.OrderStatusPending`, named by its title or its field). Only `runs: 'server'` effects
+  and JSON endpoints can be remote (HZ093).
+- [`examples/notes-go`](https://github.com/olevatorr/Hozu/tree/main/examples/notes-go) is the reference: the notes
+  app with every resolver in Go. Its `service/main.go` is all a service needs besides the resolvers (`go.mod` is
+  yours; the contract's folder is the `hozu` package):
+```go
+func main() {
+	secret := os.Getenv("NOTES_SERVICE_SECRET") // the app's remote() secret, 16+ characters
+	addr := os.Getenv("NOTES_SERVICE_ADDR")     // the app's NOTES_SERVICE_URL is http://<addr>/effect
+	mux := http.NewServeMux()
+	mux.Handle("/effect", hozu.Handler(newResolvers(), hozu.Options{Secret: secret}))
+	server := &http.Server{Addr: addr, Handler: mux}
+	go func() {
+		if err := server.ListenAndServe(); !errors.Is(err, http.ErrServerClosed) {
+			log.Fatal(err)
+		}
+	}()
+	stop, cancel := signal.NotifyContext(context.Background(), os.Interrupt, syscall.SIGTERM)
+	defer cancel()
+	<-stop.Done() // finish the calls in flight, then exit
+	ctx, done := context.WithTimeout(context.Background(), 5*time.Second)
+	defer done()
+	server.Shutdown(ctx)
+}
+```
 
 ## A database
 - One pool per process, made in `app.ts`; close it in `app({ dispose: () => pool.end() })` so `hozu get`, `call` and
@@ -118,7 +146,11 @@ export default app({
 - Data the whole staff shares but only staff may read is `scope: 'user'` with `access` (it is never cached across
   requests). Share one rule: `const staffOnly = part(({ session }) => session.role !== 'editor')`, then
   `access: { allow: staffOnly }` on each effect.
-- A resolver may answer `fail('Forbidden', { message })` (a row deleted meanwhile, a check `access` cannot make);
-  with `access: 'signedIn'` its `session` is never null.
+- A resolver may answer `fail('Forbidden', { message })` (a check `access` cannot make); with any access but
+  `'anyone'` its `session` is never null.
+- A failure you can expect (a row gone, a state that forbids the change) is a declared error of the effect
+  (`errors: { NotFound }`, `fail('NotFound', …)`), handled in `failed` with and without JavaScript. A thrown error is
+  `Unexpected`: a server fault (500 on a native post, `Internal error` in production).
 - Another app writing the same database: give the reading app a signed `endpoint` that `invalidates` the tags, and
-  call it after a write (`hozu docs endpoints`).
+  call it after a write (`hozu docs endpoints`). Every query that app's writes change needs a tag, or only its
+  freshness time refreshes it.

package/skill/topics/recipes.md

@@ -89,16 +89,18 @@ const staffHead = { query: me, render: (m) => ({ title: `${m.name} · Admin` }),
 const staff = (route, View) => ui.page(route, { views: [Sidebar, View], head: staffHead })
 export default project({ /* … */ pages: [staff(orders, OrderList), staff(orderDetail, OrderPage), …] })
 ```
-The sidebar's links mark the page shown with `aria-current` by themselves (`aria-[current]:font-bold`).
+The sidebar marks its sections with `current(route)` from its render:
+`'aria-current': current(orders) || current(orderDetail)`, styled `aria-[current]:font-bold`.
 
 ## Screens with different state
 One machine per feature: an order list (filters, selection) and an order page (shipping, refund) are two features,
 `orders` and `order`, sharing declarations through `exports`. Each machine stays small and its contracts few.
 
 ## A multi-step checkout that also works without JavaScript
-Each step is a state; the server runs the machine per request, so without JS a step's form posts every earlier field
-again as hidden inputs (`ui.input({ type: 'hidden', name: 'line1', value: ctx.line1 })`), and the last step's
-mutation receives them all. Prefill from the member with `seed: ({ query }) => ({ email: query(me, {}).email })`.
+Each step is a state and each step's form posts only its own fields: after a native post the server renders the next
+step, and every form on that page carries the machine's state in a signed hidden field, so the next post continues
+from it (going back to edit a step too). Prefill from the member with
+`seed: ({ query }) => ({ email: query(me, {}).email })`.
 
 ## A notice after saving
 A `notice` context field set in `done` and cleared by `after: [{ ms: 4000, target: 'idle' }]` on a `saved` state;

package/skill/topics/testing.md

@@ -69,6 +69,8 @@
   navigation prints `→ <path>` and the new page's lines; a live update on another actor's page prints under the step
   (`bob: + Milk`).
   - `≠ DIFFERS` marks a step where both modes made a request and the resulting text differs: a no-JS/JS parity bug.
+    It names the differing words (`≠ DIFFERS (on vs off): "#1307" vs "#1306"`): the two modes write twice to the same
+    data, so a new row per mode (an order number, a count) differs without a bug.
   - Errors: uncaught exceptions, `console.error`s, CSP violations and failed requests, each with the page, the
     resource type and the mode. A 400 re-render of an invalid native post is not an error, and a page answering
     401, 403, 404 or 410 is the step's status (`→ /notes/n1 (403)`), so an access check exits 0.

package/skill/topics/views.md

@@ -67,9 +67,13 @@ export const Board = ui.view({
 ## Menus, dialogs, counting
 - When a query's input changes, the rows stay (`aria-busy` on the parent) and update by key; `pending` shows only
   before the first answer.
-- A link to the page shown gets `aria-current="page"` (`"true"` for its section): `aria-[current]:font-bold`.
+- A link to the address shown gets `aria-current="page"`. Which links mark a section is yours to say: the render's
+  `current(route)` is true on that route's pages, so a menu writes
+  `ui.a({ href: ui.link(orders, null), 'aria-current': current(orders) || current(orderDetail) }, ['Orders'])` and
+  styles `aria-[current]:font-bold`: `true` is written `"page"` on the address itself, `false` writes nothing.
 - `ui.dialog({ open: is(['editing']), on: { close: ui.send(Cancel, {}) } }, [...])` opens as a modal and closes with
-  the machine; Escape sends `close`.
+  the machine; Escape sends `close`. It needs JavaScript: a dialog that must open without it uses the native
+  `commandfor` button (the short form) and closes when the data that shows it changes.
 - `ui.format.plural(n, { one: '# item', other: '# items' })` picks the case for the page's language (`=0` works).
 - `null` and `false` render nothing, also inside a constant list:
   `ui.ul({}, [...kinds.map((k) => (k === 'draft' ? null : ui.li({}, [k])))])`.