redweb 0.13.5 → 0.14.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (57) hide show
  1. package/CHANGELOG.md +8 -1
  2. package/README.md +20 -32
  3. package/docs/APPLICATION.md +98 -0
  4. package/docs/CLI.md +1 -1
  5. package/docs/COVERAGE_SCOPE_AUDIT.md +7 -0
  6. package/docs/DEFINE_APP_VERIFICATION.md +101 -0
  7. package/docs/DEVELOPMENT.md +1 -1
  8. package/docs/GETTING_STARTED.md +1 -1
  9. package/docs/LIVE_HTML.md +2 -2
  10. package/docs/MIGRATION.md +1 -1
  11. package/docs/MULTIPLAYER_OPERATIONS.md +6 -0
  12. package/docs/RELEASE_TRUST.md +4 -4
  13. package/docs/RUNTIME_DIAGNOSTICS.md +1 -1
  14. package/docs/SOCKET_CONTRACTS.md +2 -2
  15. package/docs/STARTER_LIFECYCLE_VERIFICATION.md +9 -0
  16. package/docs/generated.json +325 -271
  17. package/docs/guides/http-websocket.md +4 -4
  18. package/docs/guides/jsx-without-react.md +1 -1
  19. package/docs/reference.json +40 -1
  20. package/docs/releases/0.14.0.json +2208 -0
  21. package/docs/topics.json +1 -0
  22. package/examples/live-html/cards.js +87 -86
  23. package/examples/live-html/cards.ts +3 -2
  24. package/examples/live-html/chatroom.js +210 -207
  25. package/examples/live-html/chatroom.tsx +6 -2
  26. package/examples/live-html/components.js +103 -102
  27. package/examples/live-html/components.ts +3 -2
  28. package/examples/live-html/counter.js +74 -73
  29. package/examples/live-html/counter.ts +3 -2
  30. package/examples/live-html/jsx-page.js +2 -1
  31. package/examples/live-html/jsx-page.tsx +3 -2
  32. package/index.d.ts +53 -5
  33. package/index.js +3 -0
  34. package/package.json +3 -3
  35. package/recipes/chat/app.test.cjs +3 -1
  36. package/recipes/chat/app.tsx +4 -7
  37. package/recipes/dashboard/app.test.cjs +10 -10
  38. package/recipes/dashboard/app.tsx +29 -29
  39. package/recipes/http-ws/README.md +1 -1
  40. package/recipes/http-ws/app.test.cjs +8 -10
  41. package/recipes/http-ws/app.tsx +9 -20
  42. package/recipes/realtime/app.tsx +3 -6
  43. package/recipes/shared/README.md +3 -1
  44. package/recipes/shared/lifecycle.test.cjs +81 -0
  45. package/recipes/shared/network.cjs +10 -5
  46. package/recipes/site/app.tsx +3 -6
  47. package/recipes/socket/app.tsx +3 -10
  48. package/src/Application.js +239 -0
  49. package/src/StartupCleanup.js +24 -0
  50. package/src/cli/SourceInspector.js +5 -0
  51. package/src/cli/templates.js +3 -4
  52. package/src/htmx/LiveHtmlServer.js +14 -5
  53. package/src/htmx/PageManager.js +3 -1
  54. package/src/ws/BaseSocketServer.js +13 -13
  55. package/src/ws/SocketRoute.js +6 -2
  56. package/recipes/shared/run-app.test.cjs +0 -158
  57. package/recipes/shared/run-app.ts +0 -50
package/CHANGELOG.md CHANGED
@@ -1,6 +1,13 @@
1
1
  # Changelog
2
2
 
3
- ## Unreleased
3
+ ## 0.14.0
4
+
5
+ - Bound already-closing WebSocket peers with the native `ws` closing-handshake deadline: `websocketOptions.closeTimeout` defaults to 5000ms instead of 30000ms and remains configurable. Real TCP tests cover a peer withholding FIN; heartbeat, session expiry, and shutdown deadlines remain separate.
6
+ - Introduce deferred `defineApp({ pages, sockets, services, port })` composition and `await app.run()` with one owned HTTP/WebSocket listener, ordered application service initialization, cancellation, bounded shutdown, and partial-startup rollback.
7
+ - Run the five canonical headed-browser example scenarios through `defineApp`; cover its lifecycle with real HTTP/WSS, process, and unit tests. Recognize the unified page/socket registrations in `redweb doctor` without executing application code.
8
+ - Simplify all six generated starters around `app.run()` and remove their copied startup helper. Move dashboard auth/database ownership into an application service; retain real generated-app process tests and centralize lifecycle coverage on the framework implementation.
9
+ - Guard late native listener completion after cancellation or timeout on Node 18, and avoid racing duplicate deadlines during owned HTTP peer cleanup.
10
+ - Preserve native constructor errors across JavaScript contexts while awaiting partial-startup cleanup, including the original already-listening error.
4
11
 
5
12
  ## 0.13.5
6
13
 
package/README.md CHANGED
@@ -4,17 +4,19 @@ Build a TypeScript website and its realtime backend together. Decorated classes
4
4
 
5
5
  Use the same package for a live site, static HTML, Express HTTP endpoints, or routed WebSocket services.
6
6
 
7
+ Redweb 0.14.0 adds [`defineApp({ pages, sockets, services, port })`](docs/APPLICATION.md), followed by `await app.run()`, for one owned HTTP/WebSocket listener.
8
+
7
9
  ## Install
8
10
 
9
11
  Start with a complete, tested counter application:
10
12
 
11
13
  <!-- redweb:setup:start -->
12
- > Documentation for Redweb 0.13.5. Install that exact version when following these examples.
14
+ > Documentation for Redweb 0.14.0. Install that exact version when following these examples.
13
15
 
14
16
  ```sh
15
- npx --yes redweb@0.13.5 init my-realtime --template realtime
17
+ npx --yes redweb@0.14.0 init my-realtime --template realtime
16
18
  cd my-realtime
17
- npm install --save-exact redweb@0.13.5
19
+ npm install --save-exact redweb@0.14.0
18
20
  npm test
19
21
  npm run dev
20
22
  ```
@@ -22,12 +24,11 @@ npm run dev
22
24
 
23
25
  Open two tabs at `http://localhost:8181`. Clicking either button changes the counter on the server and updates both tabs.
24
26
 
25
- This is the starter's exact `src/app.tsx`. The initializer also supplies its stylesheet, compiler configuration, shutdown helper, and real-network tests; the file is not a standalone copy-and-run program.
27
+ This is the starter's exact `src/app.tsx`. The initializer also supplies its stylesheet, compiler configuration, and real-network tests; startup and shutdown belong to Redweb itself. The file is not a standalone copy-and-run program.
26
28
 
27
29
  <!-- redweb:realtime:start -->
28
30
  ```tsx
29
- import { action, page, start, state, type LiveHtmlStartOptions } from 'redweb';
30
- import { runApp } from './run-app';
31
+ import { action, defineApp, page, state } from 'redweb';
31
32
 
32
33
  @page('/', { css: 'app.css', shared: true })
33
34
  export class CounterPage {
@@ -49,11 +50,9 @@ export class CounterPage {
49
50
  }
50
51
  }
51
52
 
52
- export function createApp(options: LiveHtmlStartOptions = {}) {
53
- return start(CounterPage, { port: Number(process.env.PORT ?? 8181), templateRoot: __dirname, ...options });
54
- }
53
+ export const app = defineApp({ pages: [CounterPage], port: Number(process.env.PORT ?? 8181), templateRoot: __dirname });
55
54
 
56
- if (require.main === module) runApp(createApp);
55
+ if (require.main === module) void app.run().catch(error => { console.error(error); process.exitCode = 1; });
57
56
  ```
58
57
  <!-- redweb:realtime:end -->
59
58
 
@@ -95,8 +94,7 @@ The `http-ws` starter answers `GET /health` and accepts `{"type":"hello"}` at `w
95
94
 
96
95
  <!-- redweb:http-ws:start -->
97
96
  ```tsx
98
- import { BaseHandler, HttpServer, METHODS, SocketRoute, SocketServer, type RedWebSocket, type SocketServerOptions } from 'redweb';
99
- import { runApp } from './run-app';
97
+ import { BaseHandler, defineApp, METHODS, SocketRoute, type RedWebSocket } from 'redweb';
100
98
 
101
99
  export class Hello extends BaseHandler {
102
100
  constructor() { super('hello'); }
@@ -112,29 +110,19 @@ export class ChatRoute extends SocketRoute {
112
110
  }
113
111
  }
114
112
 
115
- export function createApp(options: Pick<SocketServerOptions, 'port' | 'bind' | 'logger'> = {}) {
116
- const http = new HttpServer({
117
- listen: false,
118
- publicPaths: [],
119
- services: [{ serviceName: '/health', method: METHODS.GET, function: (_req, res) => res.json({ ok: true }) }],
120
- });
121
-
122
- return new SocketServer({
123
- port: options.port ?? Number(process.env.PORT ?? 8181),
124
- bind: options.bind ?? '127.0.0.1',
125
- logger: options.logger,
126
- server: http.server,
127
- routes: [ChatRoute],
128
- listen: true,
129
- closeServerOnShutdown: true, // One owner closes routes and the shared HTTP listener.
130
- });
131
- }
113
+ export const app = defineApp({
114
+ sockets: [ChatRoute],
115
+ port: Number(process.env.PORT ?? 8181),
116
+ bind: '127.0.0.1',
117
+ publicPaths: [],
118
+ httpServices: [{ serviceName: '/health', method: METHODS.GET, function: (_req, res) => res.json({ ok: true }) }],
119
+ });
132
120
 
133
- if (require.main === module) runApp(createApp);
121
+ if (require.main === module) void app.run().catch(error => { console.error(error); process.exitCode = 1; });
134
122
  ```
135
123
  <!-- redweb:http-ws:end -->
136
124
 
137
- Follow the [shared-listener notes](recipes/http-ws/README.md) and initialize with `--template http-ws` using the matching artifact above. The socket service explicitly owns cleanup of the supplied HTTP listener. `/health` reports liveness, not readiness. This demonstrates raw JSON messages, not a chatroom UI.
125
+ Follow the [shared-listener notes](recipes/http-ws/README.md) and initialize with `--template http-ws` using the matching artifact above. The unified application owns cleanup of its HTTP and socket resources. `/health` reports liveness, not readiness. This demonstrates raw JSON messages, not a chatroom UI.
138
126
 
139
127
  For validated, inferred client/server payloads, use [shared socket contracts](docs/SOCKET_CONTRACTS.md). The client wraps your transport; it does not create or reconnect one for you.
140
128
 
@@ -265,7 +253,7 @@ The isolated browser harness copies its verification helpers explicitly and chec
265
253
 
266
254
  `npm run verify:live-html:browser:coverage` combines the existing full browser workload (counter, chat, CSS, JSX, components, forms and dashboard) with explicit failure-path unit tests. Its 100% authored-tool coverage is separate from frontend coverage and release acceptance. The native workload requires the dashboard's supported Node version. Known limitations of the unchanged legacy browser tool— including uncertain descendant cleanup—are characterized, not silently fixed or counted as verified cleanup; see the [coverage audit](docs/COVERAGE_SCOPE_AUDIT.md).
267
255
 
268
- The frontend is maintained in `redweb-client/live-html`; Redweb emits only a two-line mounting bootstrap. Redweb 0.13.5 depends on published `redweb-client@^0.2.0`, so ordinary application installation needs no client checkout or link. Contributors editing the client can still use the [linked development workflow](docs/CLIENT_DEVELOPMENT.md).
256
+ The frontend is maintained in `redweb-client/live-html`; Redweb emits only a two-line mounting bootstrap. Redweb 0.14.0 depends on published `redweb-client@^0.2.0`, so ordinary application installation needs no client checkout or link. Contributors editing the client can still use the [linked development workflow](docs/CLIENT_DEVELOPMENT.md).
269
257
 
270
258
  `npm run measure:browser:client` separately serves the exact installed socket-only module with and without instrumentation through the same real HTTP/WebSocket/browser cases and retains its source hash and counters. It exits unsuccessfully until all four coverage metrics reach 100%; incomplete results are not a passing dependency-coverage claim. Reports are local under `coverage/browser-client` and do not alter the installed dependency or published package.
271
259
 
@@ -0,0 +1,98 @@
1
+ # One application, one listener
2
+
3
+ `defineApp()` describes the application. `await app.run()` initializes it and opens one port for HTTP pages and WebSocket routes. You do not create an HTTP server and then pass it to a second socket server.
4
+
5
+ Added in Redweb 0.14.0. Earlier releases do not export `defineApp`.
6
+
7
+ ## The entry point
8
+
9
+ In a Redweb TypeScript project, the application can be as small as:
10
+
11
+ ```tsx
12
+ import { defineApp, page, action, state } from 'redweb';
13
+
14
+ @page('/', { shared: true })
15
+ class HomePage {
16
+ @state() count = 0;
17
+ @action() increment() { this.count += 1; }
18
+ render() {
19
+ return <main><h1>Hello</h1><button rw-click="increment">Count {this.count}</button></main>;
20
+ }
21
+ }
22
+
23
+ @page('/about', { live: false })
24
+ class AboutPage {
25
+ render() { return <main><h1>About this app</h1></main>; }
26
+ }
27
+
28
+ const app = defineApp({ pages: [HomePage, AboutPage], port: 8181 });
29
+
30
+ async function main() {
31
+ await app.run();
32
+ }
33
+ void main().catch(error => { console.error(error); process.exitCode = 1; });
34
+ ```
35
+
36
+ The final error handler is for this CommonJS TypeScript entry point; an ESM project that permits top-level await can simply use `await app.run()`. A module that is also imported by tests should export its application definition and guard its entry-point invocation with `require.main === module`. Importing a definition never opens a port or installs signal handlers.
37
+
38
+ ## Add socket routes and services
39
+
40
+ The same definition accepts all three registration arrays:
41
+
42
+ ```ts
43
+ const app = defineApp({
44
+ pages: [HomePage, AboutPage],
45
+ sockets: [MatchRoute, ChatRoute],
46
+ services: [GameSimulation],
47
+ port: 8181,
48
+ });
49
+
50
+ await app.run();
51
+ ```
52
+
53
+ These names refer to your application's classes. A page's decorator chooses its HTTP path. A `SocketRoute` chooses its WebSocket path, such as `/match`; its handlers dispatch `join`, `move`, and `resume` by message `type`. Live-page connections and custom socket routes share one upgrade listener. Do not register a custom socket route at the live-page socket path.
54
+
55
+ In five-year-old terms: the app has one front door. Pages are ordinary visits, sockets are ongoing conversations, and services are the staff who prepare the building before the door opens and clean up after it closes.
56
+
57
+ `services` are application-wide lifecycle classes, not HTTP endpoint descriptors or route-specific `SocketService` classes:
58
+
59
+ ```ts
60
+ import type { ApplicationContext, ApplicationService } from 'redweb';
61
+
62
+ class GameSimulation implements ApplicationService {
63
+ private timer?: ReturnType<typeof setInterval>;
64
+ private ticks = 0;
65
+
66
+ onInit(app: ApplicationContext, signal: AbortSignal) {
67
+ signal.throwIfAborted();
68
+ app.app.get('/health', (_request, response) => response.json({ ticks: this.ticks }));
69
+ this.timer = setInterval(() => { this.ticks++; }, 1000);
70
+ }
71
+
72
+ onShutdown() { clearInterval(this.timer); }
73
+ }
74
+ ```
75
+
76
+ Keep constructors inert. Acquire resources in `onInit(app, signal)` and release them in `onShutdown()`. Initializers run in registration order before the port opens; cleanup runs in reverse order, including the service whose initialization failed. Asynchronous methods are supported. Pass the abort signal to cancelable work and make cleanup safe after partial initialization. A deadline cannot stop arbitrary code that ignores cancellation or blocks the event loop.
77
+
78
+ Use `httpServices` for the existing HTTP endpoint descriptor array. Keep route-specific `SocketService` registrations on their `SocketRoute`. For an existing Express application, pass it as `server`; Redweb still creates and owns the underlying Node listener. The low-level server classes remain available for applications that explicitly manage their own listener ownership.
79
+
80
+ ## Lifecycle contract
81
+
82
+ - Definitions are deferred. `app.server`, `app.app`, `app.http`, and `app.sockets` are initially `null`. Await `run()` before accessing their runtime values; its returned value has non-null HTTP members in TypeScript.
83
+ - `pages`, `sockets`, and `services` are optional. HTTP-only, socket-only, and non-live-page applications use the same entry point. Non-live pages need no WebSocket server unless custom socket routes were supplied.
84
+ - Repeated `run()` calls share the pending or successful startup promise while the application is running. `shutdown()` is idempotent. A stopped application cannot restart; define a new application instead.
85
+ - Startup failure rolls back resources before rejection, subject to the shutdown deadline. Cleanup failures are retained alongside the original startup error, not reported as success.
86
+ - `startupTimeoutMs` and `shutdownTimeoutMs` default to 5000. Each is one total application budget, not a fresh full timeout for every service. Shutdown cancels pending startup, closes admission, attempts page/socket cleanup, closes owned connections, and releases services.
87
+ - `signals: true` is the default. Signal handlers are installed when `run()` begins, so SIGINT/SIGTERM also cancel pending initialization. Unexpected listener closure and listener errors trigger owned shutdown. Repeated signals do not bypass active cleanup. Failed process-owned cleanup sets a failure exit status and retains a deadline for leaked handles. Explicit `shutdown()` rejects on cleanup failure but never forcibly exits its caller.
88
+ - Tests and embedded applications should set `signals: false` and call `shutdown()` in their own cleanup. Use `port: 0` for an OS-assigned test port. TLS uses the existing `ssl` key/certificate options and shares one HTTPS/WSS listener.
89
+
90
+ ## Boundaries
91
+
92
+ This is application composition, not dependency injection, a distributed worker manager, or durable storage. It does not automatically inject services into page constructors. `shared: true` shares in-process state across visitors, not across server processes or restarts. Static file export remains the separate `exportStatic()` API; a non-live page served over HTTP is not a static export.
93
+
94
+ `app.revoke(principal)` revokes matching live-page sessions and returns their count; it returns zero when no live-page server has been created. `app.inspect()` exposes opt-in development metadata and otherwise returns `null`. These preserve the same live-page policies as `start()`.
95
+
96
+ `app.options` is the copied definition. An independent test instance can use `defineApp({ ...app.options, port: 0, signals: false })`, followed by `await run()` and owned cleanup. This creates new page/service instances, but does not clone an Express application or objects deliberately captured by class closures. The chat module exports a default `ChatroomPage`; its optional `createChatroomPage()` factory creates isolated rooms for separate apps or tests.
97
+
98
+ For rendering and CSS see [Live HTML](LIVE_HTML.md). For message validation and handler classes see [socket contracts](SOCKET_CONTRACTS.md). For deployment and persistence boundaries see [operations](MULTIPLAYER_OPERATIONS.md).
package/docs/CLI.md CHANGED
@@ -4,7 +4,7 @@ Use the version installed in your project (`npx --no-install redweb`) when troub
4
4
 
5
5
  ## Add pages, components, and socket routes
6
6
 
7
- These commands are available in `redweb@0.13.5`.
7
+ These commands are available in `redweb@0.14.0`.
8
8
 
9
9
  ```sh
10
10
  npx --no-install redweb add page dashboard
@@ -1,5 +1,12 @@
1
1
  # Coverage scope and remaining work
2
2
 
3
+ > This is a historical coverage inventory. Following the `defineApp` migration,
4
+ > the generated `run-app` helper and its separate verifier no longer exist.
5
+ > Current lifecycle coverage targets `Application` and `StartupCleanup` via
6
+ > `verify:starters:lifecycle:coverage`; authored starter coverage remains under
7
+ > `verify:starters:source-coverage`. Older results below do not establish coverage
8
+ > of the current release candidate.
9
+
3
10
  This inventory separates shipped authored code from verification machinery.
4
11
  Passing behavior tests do not establish complete coverage; a coverage report's
5
12
  instrumentation hash alone does not prove correspondence with current source.
@@ -0,0 +1,101 @@
1
+ # Unified application verification
2
+
3
+ Implementation history for `codex/define-app`. These are scoped results recorded
4
+ during development, not a substitute for final release status. The exact-head
5
+ checks and reviewer discussion are retained in
6
+ [PR #23](https://github.com/lakam99/redweb/pull/23).
7
+
8
+ ## Starter migration (2026-09-01, Windows / Node 22.21.0)
9
+
10
+ - `verify:starters:lifecycle:coverage`: 72 unit and real HTTP/WebSocket/process
11
+ tests pass. `Application.js` and `StartupCleanup.js` are 100% covered in
12
+ statements, branches, functions, and lines.
13
+ - The CLI templates, `SourceInspector`, and `Documentation` reach all-four 100%
14
+ with 80 unit/source-repair integration tests. The narrower unit-only command
15
+ does not cover external template inspection; include the action-reference and
16
+ doctor-source suites when reproducing this scope.
17
+ - `verify:starters:source-coverage` passed for all six original TypeScript
18
+ applications, separately from compiler-generated JavaScript coverage. The
19
+ retained run is `coverage/starter-source/a011d72d-1450-409f-935a-d21623c582a6/`.
20
+ Its summary records input/report hashes and the actual source inventories.
21
+ - `verify:starter:browser:coverage`: 30 tests pass, including headed counter,
22
+ chatroom, and multi-page site interactions from compiled/source-removed apps.
23
+ - `verify:dashboard:coverage`: 27 tests pass, including headed rejected/accepted
24
+ login, private cards, draft preservation, logout/relogin, and deletion.
25
+ - The six generated applications pass real-network tests. Their shared process
26
+ test imports inert definitions, runs each application, closes it via signals
27
+ or native listener closure, and checks occupied-port startup failure. Windows
28
+ exercises Node signal events; Linux exercises delivered OS signals.
29
+
30
+ The independent reviewer found no runtime blocker in the migration. The stale
31
+ generated-helper report is now explicitly historical. The copied `run-app`
32
+ implementation was removed, not retained beside the library lifecycle owner.
33
+
34
+ An earlier interrupted full-suite run had a browser-control failure before its
35
+ intended negative assertion. A standalone rerun passed all four working controls
36
+ and seven intentional faults (63.9 seconds), without changing the control or
37
+ weakening its assertions. That does not establish the cause of the earlier
38
+ failure or replace a completed full-suite run. Final regression, package, CI,
39
+ release-catalogue, and exact-PR-head review remain outstanding.
40
+
41
+ No soak or long fixed-window acceptance test was run for this migration.
42
+
43
+ ## Follow-up regression repair
44
+
45
+ The earlier Linux CI matrix exposed `StartupCleanup` replacing native errors
46
+ from another JavaScript context with a generic error. The existing owned-listener
47
+ integration reproduced both failures locally. Using Node's `isNativeError`
48
+ preserves the original error identity/message without treating arbitrary thrown
49
+ values as native errors. A real VM-context regression was added; lifecycle
50
+ coverage is now 73 passing tests at all-four 100%, and all eight owned-listener
51
+ integration tests pass. The VM/owned-listener suites also pass on Node 18.
52
+
53
+ CI also identified an obsolete test-count assertion in the starter coordinator's
54
+ input-mutation check. Its expected successful fixture now includes one realtime
55
+ test and four application-entrypoint tests; failure-on-input-mutation assertions
56
+ are unchanged.
57
+
58
+ The reviewer caught a Node 18 distinction: `DOMException` is an `Error` there
59
+ but is not recognized by `isNativeError`. Keeping both checks preserves native
60
+ abort-reason identity as well as foreign-context errors. A native-process abort
61
+ regression passes on Node 18 and 22; the lifecycle scope now has 74 passing tests
62
+ and all-four 100% coverage. The corrected starter coordinator gate passes all
63
+ 56 tests with all-four 100% coverage of its three coordinator modules.
64
+
65
+ ## Release catalogue checks
66
+
67
+ The prepared package and lockfile are `0.14.0`. The 68-page generated catalogue
68
+ matches `docs/releases/0.14.0.json`; older release snapshots were not edited.
69
+ The package dry run includes the unified runtime and shared entrypoint tests,
70
+ and the release-documentation guard passes. No package was published.
71
+
72
+ The optional docs MCP adapter previously hard-coded an unreleased-channel
73
+ expectation. Its tests now compare against the loaded canonical channel and
74
+ exercise both valid channel variants. All seven tests pass, including actual
75
+ MCP subprocesses and isolated production-only package installation; all three
76
+ adapter modules have 100% line, branch, and function coverage.
77
+
78
+ ## Broader regression findings
79
+
80
+ The first completed Windows run finished with 174 passing suites and four
81
+ failing suites (1,984 passing tests, seven failures, five skips). It began before
82
+ the final source repairs and version update, so it is not final-head evidence.
83
+
84
+ - The standalone-example unit launcher still stubbed `start`. It now explicitly
85
+ tests `defineApp().run()` and its rejection handler. Both original-TypeScript
86
+ coverage runs (standard and legacy decorators) pass with unchanged real page
87
+ behavior checks alongside the separately labelled launcher units.
88
+ - Current guide version labels were left at 0.13.5. They now match 0.14.0; the
89
+ candidate catalogue was corrected before publication. No published release
90
+ snapshot was changed. The documentation unit/coverage and release guard pass.
91
+ - The HTML load workload timed out awaiting disconnected-session expiry. Its
92
+ unchanged standalone replay passed: 200 expired renders, 110 clients, and
93
+ 8,288,824 bytes heap growth. A standalone pass does not establish the earlier
94
+ timeout's cause.
95
+ - Server recovery reproduced a server-connection cleanup timeout in isolation.
96
+ Evidence remains in `coverage/server-recovery-candidate-kFjY7N/`; this failed
97
+ run is not acceptance. Its limits and workload have not been weakened.
98
+
99
+ Coverage review also added real acceptance for non-live pages with custom
100
+ socket routes and direct invalid socket-registration validation. Later exact-head
101
+ test results and any further repairs belong to the PR's final verification record.
@@ -1,6 +1,6 @@
1
1
  # Development refresh and inspection
2
2
 
3
- This API is available in `redweb@0.13.5`. Use documentation matching the installed package before enabling it.
3
+ This API is available in `redweb@0.14.0`. Use documentation matching the installed package before enabling it.
4
4
 
5
5
  ## Browser refresh
6
6
 
@@ -47,7 +47,7 @@ For private raw socket subscriptions, see [room authorization and shared request
47
47
 
48
48
  Build first. Deploy `dist/`, the package manifest, and the lockfile, then install runtime dependencies with `npm ci --omit=dev`. The starters are tested with `src/` unavailable after compilation. Configure HTTPS/WSS and a proxy that supports WebSocket upgrades when using a reverse proxy.
49
49
 
50
- These deployment commands require a verified release pair. `redweb@0.13.5` installs published `redweb-client@0.2.0` automatically through its dependency. Future unreleased Redweb changes require their matching tested tarball until a release containing them is published. The `npm link` workflow is local development only: a clean production install does not preserve that link.
50
+ These deployment commands require a verified release pair. `redweb@0.14.0` installs published `redweb-client@0.2.0` automatically through its dependency. Future unreleased Redweb changes require their matching tested tarball until a release containing them is published. The `npm link` workflow is local development only: a clean production install does not preserve that link.
51
51
 
52
52
  Before public access, add authentication, authorization, trusted-origin policy, input/rate limits, application persistence where needed, and bounded shutdown. Treat reconnect/session tokens as credentials. Do not promise exactly-once delivery or durable sessions from an in-memory starter. See [operations](MULTIPLAYER_OPERATIONS.md) and [guarantees and limits](PRODUCTION_READINESS.md).
53
53
 
package/docs/LIVE_HTML.md CHANGED
@@ -340,7 +340,7 @@ The same bounded validation implementation is shared with socket contracts. Thei
340
340
 
341
341
  ## Action authorization
342
342
 
343
- Identity and permission are separate: the server's existing `authenticate(request)` hook establishes `context.principal`; an action policy decides whether that identity may perform this operation. In Redweb 0.13.5, add `authorize` to the action decorator instead of repeating permission checks inside each method:
343
+ Identity and permission are separate: the server's existing `authenticate(request)` hook establishes `context.principal`; an action policy decides whether that identity may perform this operation. In Redweb 0.14.0, add `authorize` to the action decorator instead of repeating permission checks inside each method:
344
344
 
345
345
  ```tsx
346
346
  // Inside a page/component; `input` is the amount schema from the example above.
@@ -365,7 +365,7 @@ Denial returns recoverable `ACCESS_DENIED`; timeout returns `ACCESS_TIMEOUT`; co
365
365
 
366
366
  ## Protected pages and shared request identity
367
367
 
368
- In Redweb 0.13.5, a page can declare `authorize(context)` alongside its route. This is an API pattern for an application that already supplies the server's `authenticate(request)` hook, not a standalone login system:
368
+ In Redweb 0.14.0, a page can declare `authorize(context)` alongside its route. This is an API pattern for an application that already supplies the server's `authenticate(request)` hook, not a standalone login system:
369
369
 
370
370
  ```tsx
371
371
  @page('/account/:id', {
package/docs/MIGRATION.md CHANGED
@@ -1,6 +1,6 @@
1
1
  # Upgrade an existing Redweb application
2
2
 
3
- Match the installed package to its versioned documentation. Redweb 0.13.5 contains the capabilities described by the 0.13.5 guides; a later development checkout may not match that release. See [release verification](RELEASE_TRUST.md) and the changelog shipped with your selected package. Keep your lockfile and rollback artifact, and run your own real HTTP/WebSocket/browser tests after upgrading.
3
+ Match the installed package to its versioned documentation. Redweb 0.14.0 contains the capabilities described by the 0.14.0 guides; a later development checkout may not match that release. See [release verification](RELEASE_TRUST.md) and the changelog shipped with your selected package. Keep your lockfile and rollback artifact, and run your own real HTTP/WebSocket/browser tests after upgrading.
4
4
 
5
5
  ## 0.8 migration notes
6
6
 
@@ -19,6 +19,12 @@ process.once('SIGTERM', async () => {
19
19
 
20
20
  If `drainHandlers` is enabled, handlers should observe `socket.context.signal` and return promptly. Set the platform termination grace period above the application's maximum cooperative handler time plus `shutdownTimeoutMs`.
21
21
 
22
+ ## Closing connections
23
+
24
+ Once a WebSocket closing handshake starts, Redweb lets the native `ws` transport finish it for up to 5000ms, then terminate the peer if necessary. This releases connections that exchange close frames but never finish TCP shutdown. Configure `websocketOptions: { closeTimeout: 10000 }` on a route if its peers need longer; values must be integers from 1 through 2147483647 milliseconds.
25
+
26
+ This is not an idle timeout: healthy open connections are unaffected. Heartbeats detect unresponsive open peers, session TTL controls retained application state after disconnection, and `shutdownTimeoutMs` separately bounds route shutdown.
27
+
22
28
  ## Placement and partitions
23
29
 
24
30
  The admission `place(principal, request, context)` hook can return another node's `ws`/`wss` URL before upgrade. Keep placement decisions short-lived and retryable. A redirect is not a reservation: the destination must still authenticate, enforce capacity, and reject stale placement.
@@ -18,18 +18,18 @@ Use the [official Node release schedule](https://nodejs.org/en/about/previous-re
18
18
 
19
19
  ## Pin the package and the documentation together
20
20
 
21
- For a published application, select an exact release, commit its lockfile, and use `npm ci` in CI/deployment. This guide is versioned for 0.13.5. Before registry publication, verify the packed candidate; after publication, repeat these registry checks from a clean application:
21
+ For a published application, select an exact release, commit its lockfile, and use `npm ci` in CI/deployment. This guide is versioned for 0.14.0. Before registry publication, verify the packed candidate; after publication, repeat these registry checks from a clean application:
22
22
 
23
23
  ```sh
24
- npm view redweb@0.13.5 version engines dist.integrity dist.signatures dist.attestations gitHead --json
25
- npm install --save-exact redweb@0.13.5
24
+ npm view redweb@0.14.0 version engines dist.integrity dist.signatures dist.attestations gitHead --json
25
+ npm install --save-exact redweb@0.14.0
26
26
  npm audit signatures
27
27
  npm audit --omit=dev
28
28
  ```
29
29
 
30
30
  The signature command must run in the installed application directory. Keep TLS verification enabled and use a current npm CLI; a certificate/trust-store failure is not a reason to disable verification. A lockfile's integrity value detects changed package bytes; registry signatures authenticate registry metadata; provenance, when present and verified, links an artifact to a build/source identity. Vulnerability audit is a separate check against known advisories, not an application penetration test.
31
31
 
32
- Redweb 0.13.5 contains the server-rendered TSX, reactive state/actions, complete starters, shared socket contracts, authorization, diagnostics, lifecycle work, and bounded heartbeat grace described by these versioned guides. Keep the package and documentation version aligned; do not mix a development guide or a future checkout with 0.13.5 and assume newer APIs exist.
32
+ Redweb 0.14.0 contains unified application startup, server-rendered TSX, reactive state/actions, complete starters, shared socket contracts, authorization, diagnostics, lifecycle work, and bounded heartbeat grace described by these versioned guides. Keep the package and documentation version aligned; do not mix a development guide or a future checkout with 0.14.0 and assume newer APIs exist.
33
33
 
34
34
  Redweb is pre-1.0. Consult the changelog and versioned guide before upgrading, run your own real HTTP/WebSocket/browser tests, and keep a rollback artifact. Patch/minor numbers and a compatible TypeScript build alone do not prove wire compatibility, preserved sessions, database compatibility or application authorization. HTTP-created live-page sessions are process-owned; a restart or rolling replacement does not migrate them automatically. Raw socket protocol versions are negotiated only when the route opts in, and application payload compatibility remains your contract.
35
35
 
@@ -1,6 +1,6 @@
1
1
  # Understand failures before retrying
2
2
 
3
- Status: included in `redweb@0.13.5`.
3
+ Status: included in `redweb@0.14.0`.
4
4
 
5
5
  Authentication identifies a visitor. Authorization decides what that visitor may do. Validation checks an input's shape. An application failure means server code or a dependency failed; it is not evidence that the visitor supplied bad credentials.
6
6
 
@@ -1,10 +1,10 @@
1
1
  # Shared socket contracts
2
2
 
3
- Status: included in `redweb@0.13.5`.
3
+ Status: included in `redweb@0.14.0`.
4
4
 
5
5
  A contract declares message payloads once. The same schema supplies runtime validation and inferred TypeScript types for senders and handlers. The URL still selects the route (`/match`), and the envelope's `type` selects an individual handler (`join`, `move`, `resume`). No socket decorators or second action dispatcher are required.
6
6
 
7
- Start with `npx --yes redweb@0.13.5 init my-match --template socket`. The complete maintained example lives in [the socket recipe](../recipes/socket/README.md): [contract](../recipes/socket/contract.ts), [handlers](../recipes/socket/handlers.ts), [server](../recipes/socket/app.tsx), and [real-network tests](../recipes/socket/app.test.cjs).
7
+ Start with `npx --yes redweb@0.14.0 init my-match --template socket`. The complete maintained example lives in [the socket recipe](../recipes/socket/README.md): [contract](../recipes/socket/contract.ts), [handlers](../recipes/socket/handlers.ts), [server](../recipes/socket/app.tsx), and [real-network tests](../recipes/socket/app.test.cjs).
8
8
 
9
9
  Session ownership is separate from room fan-out. For authenticated group delivery,
10
10
  see [room authorization](ROOM_AUTHORIZATION.md) and the complete
@@ -1,5 +1,14 @@
1
1
  # Lifecycle coverage must measure actual code
2
2
 
3
+ > Historical report, superseded by the `defineApp` migration. The generated
4
+ > `run-app` helper and `verify-starter-lifecycle.js` described below have been
5
+ > removed. The current `verify:starters:lifecycle:coverage` gate measures the
6
+ > shared `Application` and `StartupCleanup` implementation, while
7
+ > `verify:starters:source-coverage` measures all six original TypeScript starters.
8
+ > Generated applications also run real child-process lifecycle tests. The
9
+ > observations and paths below are retained as historical evidence, not current
10
+ > commands or release results.
11
+
3
12
  The lifecycle gate previously trusted c8's exit code. A real command with all four
4
13
  100% thresholds and an empty source match exits successfully with `{}` coverage:
5
14
  c8 compares a nonnumeric empty-map percentage against the thresholds.