Application ladder: rungs 0-3 (pastebin, bookmarks, polls) + shared infrastructure - #41

Open

Yaraslaut wants to merge 160 commits into

application-ladder

Commits on Aug 5, 2026

examples: add the application-ladder stress-test plan

Yaraslaut
and
claude
committed
f485bca
examples: add the ladder testing strategy (dual-mode GUI, multi-client)

Yaraslaut
and
claude
committed
ddbb778

Commits on Aug 6, 2026

examples: add implementation rules for ladder applications

Yaraslaut
and
claude
committed
cac793a
examples: restructure the ladder per the holistic program review

Yaraslaut
and
claude
committed
a21fe69
chore: gitignore the superpowers SDD scratch workspace
Yaraslaut
committed
6a155fc
docs: back-fill ladder framework findings 001-016 (rung 0)
Yaraslaut
committed
3aa5ada
fix: correct subsystem enum value in finding 003 (util -> units)
Yaraslaut
committed
7f8e0c3
ladder: add rung-0 build wiring (MORPH_BUILD_LADDER, examples/common skeleton)
Yaraslaut
committed
658b576
ladder: defer examples/ subdirectory until after Catch2 is resolved
Yaraslaut
committed
5bd7b3a
ladder: add pump.hpp and the Qt-owning testkit main
Yaraslaut
committed
9b8ff1c
ladder: add db_fixture.hpp (real on-disk database, mirrors Lightweight's SqlTestFixture)

Yaraslaut
and
claude
committed
0745449
ladder: add db_fault_fixture.hpp (genuine SqlScopedLock cross-session contention)
Yaraslaut
committed
1fad31e
ladder: add backend_rig.hpp (Local/LocalSingleThread/Socket BackendRig)

Yaraslaut
and
claude
committed
617f862
ladder: use a stateful counter model for BackendRig's isolation test

Yaraslaut
and
claude
committed
f8ea3c8
ladder: add AppContext + Presenter base (examples/common/gui)
Yaraslaut
committed
6ca9704
ladder: add the fault-injection wire proxy (finding 004, proxy half)

Yaraslaut
and
claude
committed
c37d265
ladder: keep fault-proxy test locals alive across the rig's teardown

Yaraslaut
and
claude
committed
7eeb89a
testkit: fix stack-use-after-scope in awaitQt's timeout path

Yaraslaut
and
claude
committed
a6e15a0
ladder: add the deterministic strand interleaver
Yaraslaut
committed
a26d0a1
ladder: add @param doc tag to DeterministicExecutor::runSchedule
Yaraslaut
committed
7a0dd2e
ci: add the ladder-tests job (path-filtered on examples/common, include/morph)
Yaraslaut
committed
5b51794
ladder: add the WASM-remote spike (proves QtWebSocketBackend from Emscripten)

Yaraslaut
and
claude
committed
cdaf95a
ladder: fix WASM-spike link + BridgeHandler lifetime bugs from review

Yaraslaut
and
claude
committed
afef282
ladder: split AppContext out of morph_ladder_gui and make Remote WASM-safe

Yaraslaut
and
claude
committed
ce75cea
ladder: close finding 004, file 018/019, fix the CI filter and ctest labels

Yaraslaut
and
claude
committed
a53d005
ladder: correct AppContext's lifetime comment and close a CI filter gap

Yaraslaut
and
claude
committed
748fd61
docs: drop the nightly CI tier from the ladder's testing strategy

Yaraslaut
and
claude
committed
acba401
examples/ladder: raise testkit coverage via DI, remove dead sqlite_sequence guard
Yaraslaut
committed
12c2c55
ci: measure and enforce coverage on the ladder's hand-written code
Yaraslaut
committed
4918a04
examples: fold rung-0 coverage lessons into the ladder's implementation rules
Yaraslaut
committed
047c603
pastebin: resolve rung-1's design questions in writing
Yaraslaut
committed
85a17cb
pastebin: file finding 021, justify the GUI's controller-wiring deviation
Yaraslaut
committed
5a87ddd
pastebin: refine expiry sweep to periodic, not per-request
Yaraslaut
committed
e520fb9
docs: add the rung-1 (pastebin) implementation plan
Yaraslaut
committed
533f1d7
examples/common: add the ladder-wide injectable clock
Yaraslaut
committed
4f92cfa
pastebin: add unit system, PasteId, and the typed error set
Yaraslaut
committed
25390d6
pastebin: fix ambiguous PasteId/PasteCursor construction from string literals

Yaraslaut
and
claude
committed
f56a7c5
pastebin: add the PasteModel action/result DTOs
Yaraslaut
committed
377a906
pastebin: add PasteRecord entity, its migration, and the WithMapper mixin
Yaraslaut
committed
baf474f
findings: file 022 — sqliteodbc opens no cursor for UPDATE ... RETURNING

Yaraslaut
and
claude
committed
d53944b
pastebin: add PasteModel (create/get/edit/delete/list/expire)

Yaraslaut
and
claude
committed
51eb33c
pastebin: gate GetPaste disclosure on exactly one consumed row

Yaraslaut
and
claude
committed
70bee48
pastebin: add App (RemoteServer bootstrap, FileActionLog, expiry sweep)

Yaraslaut
and
claude
committed
c22590b
examples/common: add DbBusyFixture, resolving finding 018's SQLITE_BUSY gap

Yaraslaut
and
claude
committed
d9cdcc6
cmake: implement morph_add_rung(), wire up examples/pastebin

Yaraslaut
and
claude
committed
c5e2eaf
cmake: gate ladder_${_rung}_lib behind if(NOT EMSCRIPTEN)
Yaraslaut
committed
db075ca
core: escape control bytes in action and result JSON bodies

Yaraslaut
and
claude
committed
f2ad662
testkit: configurable server limits, a raw backend accessor, and a teardown fix for BackendRig

Yaraslaut
and
claude
committed
b013297
cmake: make a rung's test target actually linkable and runnable

Yaraslaut
and
claude
committed
0819e23
pastebin: fix App teardown ordering and give the sweep a settle seam

Yaraslaut
and
claude
committed
daaa633
pastebin: add PasteModel's model test suite

Yaraslaut
and
claude
committed
8b50b40
ci: measure examples/pastebin in the coverage gate

Yaraslaut
and
claude
committed
c3873a7
testkit: correct BackendRig's stale teardown-order doc comment

Yaraslaut
and
claude
committed
2c8898e
pastebin: cover a malformed expiresAt, and name the race test's blind spot

Yaraslaut
and
claude
committed
1d95b07
pastebin: add PastePresenter and the finding-021 forms-controller glue

Yaraslaut
and
claude
committed
0cacfd1
tests: add regression coverage for finding 023 (Completion::onError single-slot)

Yaraslaut
and
claude
committed
46c08f3
pastebin: add PastePresenter tests (full backend-mode matrix)

Yaraslaut
and
claude
committed
6182867
pastebin: add desktop GUI shell, standalone server binary, demo seeding

Yaraslaut
and
claude
committed
f9404c1
ladder: announce every desktop-client skip; file finding 024

Yaraslaut
and
claude
committed
c832152

Commits on Aug 7, 2026

pastebin: move the QML adapters and schema document into gui_lib

Yaraslaut
and
claude
committed
7e1f1b7
ladder: build the client-side stack under Emscripten

Yaraslaut
and
claude
committed
6ecb0be
pastebin: add the WASM client

Yaraslaut
and
claude
committed
a7294df
ci: build the ladder's GUI half and gate its WASM clients

Yaraslaut
and
claude
committed
e774738
docs: close out rung 1's definition of done

Yaraslaut
and
claude
committed
f52c1f4
pastebin: include <QString>, not the QStringLiteral forwarding header

Yaraslaut
and
claude
committed
d1ef31c
ci: install the SQLite ODBC driver where the ladder is built

Yaraslaut
and
claude
committed
1ade0aa
findings: triage 018, file 026 for the three unfixed sibling writers

Yaraslaut
and
claude
committed
c54a117
pastebin: reject an over-length syntax instead of truncating it silently

Yaraslaut
and
claude
committed
56e0067
testkit: stop QtDrivenMainThreadExecutor's drain timer outliving the executor

Yaraslaut
and
claude
committed
6b6ed14
pastebin: test the QML adapters, and measure them in the coverage gate

Yaraslaut
and
claude
committed
8d2ea8f
pastebin: say plainly that the rung is shipped, not exited

Yaraslaut
and
claude
committed
d327d56
pastebin: take the created id from the create reply, not from the listing

Yaraslaut
and
claude
committed
b3f43bb
pastebin: fix three README inaccuracies caught by the fix-wave re-review

Yaraslaut
and
claude
committed
c3275a4
Fix three correctness bugs found by the whole-branch code review

Yaraslaut
and
claude
committed
e3a416e
bookmarks: resolve rung-2 design questions and write the implementation plan

Yaraslaut
and
claude
committed
e660443
bookmarks: add the rung's signed-token authorizer and principal charset

Yaraslaut
and
claude
committed
7f7a6d2
bookmarks: add core strong types, unit system, and error hierarchy
Yaraslaut
committed
1e0749d
bookmarks: add Bookmark DTOs
Yaraslaut
committed
d91460a
bookmarks: add Tag, BulkEdit, SharedFeed, and import/export DTOs
Yaraslaut
committed
a5026da
bookmarks: add entities, schema migration, and the WithMapper mixin

Yaraslaut
and
claude
committed
ab351c4
bookmarks: add BookmarkModel CRUD, archive/unarchive, and tag replace-set

Yaraslaut
and
claude
committed
0182040
bookmarks: add BookmarkModel ListBookmarks and GetChangesSince

Yaraslaut
and
claude
committed
f0668cd
bookmarks: set ListBookmarks nextCursor independent of post-filter emptiness

Yaraslaut
and
claude
committed
bdf90d7
bookmarks: add BulkEdit (outbox-managed) and RecordMetadata
Yaraslaut
committed
307db68
bookmarks: fix BulkEdit outbox idempotency-key collision (review finding)
Yaraslaut
committed
834f086
bookmarks: add TagModel (RenameTag, outbox-managed MergeTags, ListTags)
Yaraslaut
committed
92fc127
bookmarks: add SharedFeedModel
Yaraslaut
committed
f234679
bookmarks: add Netscape import/export
Yaraslaut
committed
82596a6
bookmarks: fix URL entity-decode/escape asymmetry on import/export

Yaraslaut
and
claude
committed
5993ad9
bookmarks: add App (server bootstrap, AuthModel/Login, metadata worker, outbox relay)

Yaraslaut
and
claude
committed
5699fb8
bookmarks: add CMakeLists.txt, completing the buildable rung skeleton

Yaraslaut
and
claude
committed
9690ccc
bookmarks: fix pre-existing -Wmissing-designated-field-initializers across 5 test files

Yaraslaut
and
claude
committed
b794a45
bookmarks: add the backend-mode matrix for BookmarkModel's create/list/get round trip

Yaraslaut
and
claude
committed
6676407
bookmarks: add BulkEdit atomicity, cross-user Socket auth, wrong-secret rejection, and local-mode-no-auth tests

Yaraslaut
and
claude
committed
15455b9
bookmarks: document the cross-model rename race and prove the worker's real dispatch path
Yaraslaut
committed
e287fcf
bookmarks: add BookmarkPresenter, TagPresenter, SharedFeedPresenter
Yaraslaut
committed
1dae74b
bookmarks: fix a permanent handler-not-bound flake in TagPresenter/SharedFeedPresenter socket tests

Yaraslaut
and
claude
committed
d1f2ef7
bookmarks: make Login reachable over a real server, and title optional

Yaraslaut
and
claude
committed
ee399f2
bookmarks: add the schema-driven GUI shell, server binary, and QML smoke test

Yaraslaut
and
claude
committed
34872ed
bookmarks: stop the server's background timers before draining fetches

Yaraslaut
and
claude
committed
93a15f1
bookmarks: give the QML adapter layer its own test suite

Yaraslaut
and
claude
committed
297f879
findings: file 031 -- DynamicForm has no control for JSON array-typed fields
Yaraslaut
committed
f18af66
bookmarks: add the WASM client and extend the WASM CI gate to cover it
Yaraslaut
committed
4c8b9bf
bookmarks: clear the 13 rung-owned compiler warnings that crept back in

Yaraslaut
and
claude
committed
3252050
bookmarks: keep the server alive when a background pass or a bad env var fails

Yaraslaut
and
claude
committed
8158777
bookmarks: bound ImportBookmarks' field writes and give TooLarge a throw site

Yaraslaut
and
claude
committed
a47db71
bookmarks: correct the rung's stale comments, and disclose its real gaps

Yaraslaut
and
claude
committed
ba65e94
bookmarks: make TooLarge actually reachable, not just correctly-thrown
Yaraslaut
committed
9112fca
bookmarks: guard the unsetenv call with the same check as its include
Yaraslaut
committed
e32e7f5
polls: resolve rung-3 design questions and plan its framework prerequisites
Yaraslaut
committed
2be5ef8
core: add a client-side execute deadline (Bridge::setExecuteDeadline)

Yaraslaut
and
claude
committed
3457b14
core: cover the execute deadline's disarm and verify its header standalone

Yaraslaut
and
claude
committed
8dbbb0b
core: add an async register-or-attach/attach path for shared/keyed models

Yaraslaut
and
claude
committed
7a37b2f

Commits on Aug 8, 2026

core: never invoke an async attach's onDone from inside the dispatch frame

Yaraslaut
and
claude
committed
222091b
qt: cover the shared/keyed async wire methods against a real server

Yaraslaut
and
claude
committed
6f1f46a
docs: scope the async attach claims to what actually became non-blocking

Yaraslaut
and
claude
committed
ee2061e
docs: correct closeConnection's refcount description in shared_instances.md
Yaraslaut
committed
607be05
findings: file 032 -- assignPrimary has no async path
Yaraslaut
committed
0fcdcff
polls: record the ModelKey plain-std::string constraint on pollId
Yaraslaut
committed
b9922e7
polls: write the rung-3 app implementation plan
Yaraslaut
committed
e96a9c5
polls: add core strong types and error hierarchy
Yaraslaut
committed
cc0a219
polls: add poll/vote/comment DTOs
Yaraslaut
committed
bf2d0e0
polls: add vote/undo/event DTOs
Yaraslaut
committed
6a2662f
polls: add entities, schema, and db_model.hpp
Yaraslaut
committed
ff465db
polls: use SqlAnsiString for the three token fields, not plain std::string
Yaraslaut
committed
2166e4b
polls: add PollModel -- CreatePoll, OpenPoll, GetPollState
Yaraslaut
committed
5574c95
polls: add SubmitVotes, UpdateVotes, AddComment
Yaraslaut
committed
1e2dc7d
polls: close the Count-empty footgun at the type, and fix a stale test comment
Yaraslaut
committed
32fc5ae
polls: add FinalizePoll and PollsAuthorizer
Yaraslaut
committed
7508cf8
polls: add UndoLastVoteChange -- principal-scoped compensating action
Yaraslaut
committed
77a8ac5
polls: fix UndoLastVoteChange's two-transaction window and test gap

Yaraslaut
and
claude
committed
e19fff7
polls: add GetEventsSince -- the Zulip-pattern event log read path
Yaraslaut
committed
e6ef3f8
polls: add App -- server bootstrap

Yaraslaut
and
claude
committed
996c39b
polls: add CMakeLists.txt, completing the buildable rung skeleton

Yaraslaut
and
claude
committed
11fb427
polls: drop a redundant CMake source listing, make finding 033's repro self-contained
Yaraslaut
committed
cfe43e6
polls: add backend-mode matrix, shared-instance lifetime, and poisoned-attach tests

Yaraslaut
and
claude
committed
476cd73
polls: cite finding 030 by name for a third reproduction site
Yaraslaut
committed
1d2966b
findings: add the attachModel production-code reproduction to finding 030
Yaraslaut
committed
1a8d79a
polls: add cross-poll admin-token isolation and messagesPerSecond+deadline integration test

Yaraslaut
and
claude
committed
3f55ed2
polls: add PollPresenter
Yaraslaut
committed
87f050b
ladder: add the event-polling helper (this rung's framework-level deliverable)
Yaraslaut
committed
9272683
ladder: fix EventPoller's use-after-free and success-callback ordering

Yaraslaut
and
claude
committed
f668425
ladder: add EventPoller::resume and correct its production-wiring recipe

Yaraslaut
and
claude
committed
9e09bba
polls: add the schema-driven GUI shell wired to the event-polling helper

Yaraslaut
and
claude
committed
7cfe292
polls: add the server binary
Yaraslaut
committed
866af3d
polls: add the WASM client -- the first real exercise of async keyed attach

Yaraslaut
and
claude
committed
04bbac6
polls: give the DTOs rule-3 discipline -- no bare bools, no loose tokens

Yaraslaut
and
claude
committed
a6a4138
core: give TimeoutScheduler a browser-timer build for single-threaded WASM

Yaraslaut
and
claude
committed
09d19d7
polls: delete the dead requireParticipant() and correct the security story

Yaraslaut
and
claude
committed
2b07905
findings: close 001 and 002 -- both were resolved by rung 3's own prerequisites

Yaraslaut
and
claude
committed
1815b0d
polls: bring README/Main.qml back in line with what the rung actually ships

Yaraslaut
and
claude
committed
fb3b66f

Commits on Aug 10, 2026

core: close a switchBackend staleness race and two exception-safety gaps in

Yaraslaut
and
claude
committed
0155b0c
polls: reject cross-poll option references, duplicate votes, and malformed

Yaraslaut
and
claude
committed
98da089

Commits on Aug 11, 2026

docs: design for applying PR #41's storage-type review comments ladder-wide

Yaraslau Tamashevich
and
claude
committed
aea624f
build: fix MSVC/Windows portability issues across ladder tests and Lightweight fetch

Yaraslau Tamashevich
and
claude
committed
1043b7c
ci: fix the four standing CI failures blocking a green build

Yaraslau Tamashevich
and
claude
committed
9286e35
ladder: fix wasm_spike's QtWebSocketBackend call for QT_NO_SSL builds

Yaraslau Tamashevich
and
claude
committed
c970779
build: probe three -Weverything suppressions instead of assuming clang has them

Yaraslau Tamashevich
and
claude
committed
db601e5
build: suppress -Wc++20-compat and -Wdisabled-macro-expansion

Yaraslau Tamashevich
and
claude
committed
f8fe6da
build+docs: fix three more WASM-leg-only Clang diagnostics

Yaraslau Tamashevich
and
claude
committed
d4b4a59