Slice 013: LiveView chat UI with streaming - #24

Merged

HackTuah merged 19 commits into

mainfrom

slice/013-liveview-chat-streaming

Sep 20, 2026

Commits on Sep 20, 2026

docs(s013): G1 plan with the renderer measured, and the slice opens
HackTuah
committed
454a12e
chore(s013): add mdex ~> 0.13
HackTuah
committed
482b9e6
test(s013): a model set between turns is not the next turn's model (red)
HackTuah
committed
ce4b1f4
fix(s012): the Session reads its row at the start of every turn
HackTuah
committed
57aca61
feat(s013): the chat: two LiveViews, the component vocabulary, the renderer, the policy
HackTuah
committed
50f35db
fix(s013): a user bubble keeps its own whitespace only
HackTuah
committed
e33f5bc
test(s013): the kill test waits for the rehydrate broadcast only
HackTuah
committed
84a4aba
fix(s013): the inline sobelow skip names its reason the way the enforcer reads it
HackTuah
committed
080c543
feat(s013): complete slice 013 (LiveView chat UI with streaming)
HackTuah
committed
8cc90b7
docs(s013): PROOF.md names the closing commit's sha
HackTuah
committed
50d6630
fix(s001): the serve step prints the body and serve.log when GET / is not 200
HackTuah
committed
68c00a6
fix(s010): the packaged binary runs its migrations at boot
HackTuah
committed
1f677b0
docs(s013): the package workflow's three findings and the open renderer decision
HackTuah
committed
55999e0
feat(s013): the linux package builds the markdown NIF for musl, and the smoke path says whether it rendered
HackTuah
committed
22cd58c
docs(s013): NOTES finding 15 and the PROOF correction for the packaged binary
HackTuah
committed
6a94e31
fix(s001): the serve step prints serve.log when no endpoint line appears
HackTuah
committed
96baed2
fix(s010): the data-directory lock reads a pid's liveness on macOS and Windows
HackTuah
committed
b62ef62
docs(s013): finding 16 and the green package run in PROOF.md
HackTuah
committed
ff2b316
docs(s013): closing correction names the pull request and the commits after the closing commit
HackTuah
committed
c2663ad

Navigation Menu

Slice 013: LiveView chat UI with streaming - #24

Slice 013: LiveView chat UI with streaming#24
HackTuah merged 19 commits into
mainfrom
slice/013-liveview-chat-streaming

Commits on Sep 20, 2026

docs(s013): G1 plan with the renderer measured, and the slice opens

chore(s013): add mdex ~> 0.13

test(s013): a model set between turns is not the next turn's model (red)

fix(s012): the Session reads its row at the start of every turn

feat(s013): the chat: two LiveViews, the component vocabulary, the renderer, the policy

fix(s013): a user bubble keeps its own whitespace only

test(s013): the kill test waits for the rehydrate broadcast only

fix(s013): the inline sobelow skip names its reason the way the enforcer reads it

feat(s013): complete slice 013 (LiveView chat UI with streaming)

docs(s013): PROOF.md names the closing commit's sha

fix(s001): the serve step prints the body and serve.log when GET / is not 200

fix(s010): the packaged binary runs its migrations at boot

docs(s013): the package workflow's three findings and the open renderer decision

feat(s013): the linux package builds the markdown NIF for musl, and the smoke path says whether it rendered

docs(s013): NOTES finding 15 and the PROOF correction for the packaged binary

fix(s001): the serve step prints serve.log when no endpoint line appears

fix(s010): the data-directory lock reads a pid's liveness on macOS and Windows

docs(s013): finding 16 and the green package run in PROOF.md

docs(s013): closing correction names the pull request and the commits after the closing commit