From f0440d647a4c24477da752528f862badeb43f818 Mon Sep 17 00:00:00 2001
From: dev <info@activething.com>
Date: Tue, 26 May 2026 20:00:33 +0200
Subject: [PATCH] docs(dialog-demo): update prose for polymorphic close
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

The dialog demo prose described "Six events" with the per-event close-*
shape that was collapsed into a single polymorphic close in commit
9f5fbfdb. Three updates:

- Header lede: "Eight parts; six events" → "Eight parts; two events
  (open + polymorphic close)" with the polymorphism rationale.
- morfo tab section: explains the imperative data-last-action +
  per-cause semantic pattern instead of the old per-event prewrite story.
- sema tab section: describes how dismissWith() swaps the family at
  trigger time per cause.
- Keyboard hint: "Close (close-dismiss)" → "Close (close with
  data-last-action='dismissed')" to match runtime behaviour.

The compiled events table at the bottom of the morfo tab auto-derives
from the morfo, so it already shows the correct collapsed event list
without modification.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
---
 web/routes/uix/components/dialog/+page.svelte | 50 ++++++++++++-------
 1 file changed, 32 insertions(+), 18 deletions(-)

diff --git a/web/routes/uix/components/dialog/+page.svelte b/web/routes/uix/components/dialog/+page.svelte
index 667913359..43ee1508d 100644
--- a/web/routes/uix/components/dialog/+page.svelte
+++ b/web/routes/uix/components/dialog/+page.svelte
@@ -148,10 +148,17 @@
 		<div data-uix-eyebrow>Overlays · Dialog</div>
 		<h1 data-uix-page-title>Dialog</h1>
 		<p data-uix-page-lede>
-			Modal blocking surface. Eight parts; six events with the full
-			asymmetric exit set (saved · cancelled · dismissed · dismissed-outside
-			· failed) surfaced via <code>data-last-action</code>. Modal subset of
-			intent — only <code>neutral</code> / <code>risk</code> /
+			Modal blocking surface. Eight parts; two events
+			(<code>open</code> + a polymorphic <code>close</code>) with the
+			full asymmetric exit set (saved · cancelled · dismissed ·
+			dismissed-outside · failed) surfaced via
+			<code>data-last-action</code>. The provider concretes the
+			<code>close</code> event's family at trigger time —
+			<code>emerge.close</code> (cancel / dismiss / dismiss-outside),
+			<code>commit.save + fulfill</code> (save) or
+			<code>signal.alert + threat</code> (fail) — per book §5.3
+			polymorphism. Modal subset of intent — only
+			<code>neutral</code> / <code>risk</code> /
 			<code>threat</code>; affirm / fulfill / loss are intentionally
 			off the table per the modal canon.
 		</p>
@@ -455,12 +462,16 @@
 				· declarative contract
 			</h2>
 			<p data-uix-section-desc>
-				Source: <code>src/uix/morfo/components/dialog.ts</code>. Six
-				events surface five distinct exit reasons via
-				<code>data-last-action</code> prewrites. open is intent-bound;
-				close-cancel / close-dismiss / close-dismiss-outside drop the
-				intent (backing out has no evaluative load); close-after-fail
-				explicitly carries threat regardless of provider intent.
+				Source: <code>src/uix/morfo/components/dialog.ts</code>. Two
+				events — <code>open</code> (intent-bound via fromProp) and
+				a polymorphic <code>close</code> (book §5.3) with
+				<code>allowedFamilies: ['emerge', 'commit', 'signal']</code>.
+				The provider sets <code>data-last-action</code> imperatively
+				before each close and passes the concrete semantic per cause:
+				cancel / dismiss / dismiss-outside fire as plain emerge
+				(backing out has no evaluative load); save fires as
+				commit.save + fulfill; fail fires as signal.alert + threat
+				regardless of provider intent.
 			</p>
 
 			<div data-uix-table-wrap>
@@ -588,14 +599,17 @@
 				· events + perceptual signature
 			</h2>
 			<p data-uix-section-desc>
-				Six events. <code>open</code> is fromProp-bound to the
+				Two events. <code>open</code> is fromProp-bound to the
 				provider's <code>intent</code> — a threat dialog opens with
-				threat-flavoured perceptual weight. close-save consummates as
-				fulfill (the user committed). close-cancel /
-				close-dismiss-* drop intent (no evaluative load on backing
-				out). close-after-fail explicitly hits threat regardless of
-				provider intent. Click <strong>play</strong> to fire on the
-				live dialog.
+				threat-flavoured perceptual weight. <code>close</code> is
+				polymorphic (book §5.3) — the table shows its declared
+				default family (<code>emerge</code>); the runtime swaps the
+				family per cause via <code>opts.semantic</code> in
+				<code>dismissWith()</code>: save → commit.save + fulfill;
+				cancel / dismiss / dismiss-outside → emerge.close (no
+				evaluative load on backing out); fail → signal.alert +
+				threat regardless of provider intent. Click
+				<strong>play</strong> to fire on the live dialog.
 			</p>
 
 			<div data-uix-table-wrap>
@@ -671,7 +685,7 @@
 					<thead><tr><th>Key</th><th>Action</th></tr></thead>
 					<tbody>
 						<tr><td><span data-uix-kbd>Enter</span> / <span data-uix-kbd>Space</span></td><td>Open from Trigger.</td></tr>
-						<tr><td><span data-uix-kbd>Escape</span></td><td>Close (close-dismiss).</td></tr>
+						<tr><td><span data-uix-kbd>Escape</span></td><td>Close (close with data-last-action='dismissed').</td></tr>
 						<tr><td><span data-uix-kbd>Tab</span> / <span data-uix-kbd>Shift+Tab</span></td><td>Cycle focus inside Content.</td></tr>
 					</tbody>
 				</table>