fix(809): reject non-STA UiThread.Init callers, allow init retry, and relax the awaiter predicate - #814

Merged

drmoisan merged 20 commits into

mainfrom

bug/uithread-init-contract-residuals-784-787-788-809

Sep 8, 2026

Commits on Sep 8, 2026

docs(809): add active bug feature folder for UiThread init contract residuals
drmoisan
committed
2b726d2
docs(809): add research artifact and correct the #784 root-cause note
drmoisan
committed
194b848
docs(809): author the bug specification
drmoisan
committed
6e67276
docs(809): author the atomic implementation plan
drmoisan
committed
27cb7a3
docs(809): extend the spec Write Set with three DoNotParallelize-only test files
drmoisan
committed
7c99ce4
docs(809): apply preflight round 1 delta to the plan
drmoisan
committed
b13bb0d
docs(809): apply preflight round 2 delta to the plan
drmoisan
committed
06e4a97
docs(809): apply preflight round 3 delta to the plan
drmoisan
committed
c1abcfc
docs(809): apply preflight round 4 delta to the plan
drmoisan
committed
8dbceba
chore(809): capture Phase 0 baseline, bootstrap and policy-read evidence
drmoisan
committed
e23a036
test(809): add the UiThread capture-object factory seam and state-reset scope
drmoisan
committed
09bb952
test(809): add failing regression tests for the three UiThread defects
drmoisan
committed
f7294d7
fix(809): reject non-STA callers in UiThread.Init and repair retry and awaiter
drmoisan
committed
2112679
test(809): reconcile the MTA UiThread.Init caller with a pumping dispatcher
drmoisan
committed
fd22abf
chore(809): record the final QC toolchain loop evidence
drmoisan
committed
0db2cf0
docs(809): record coverage comparison, acceptance-criteria check-off and closure
drmoisan
committed
01a467b
docs(809): check off the executed plan tasks
drmoisan
committed
fd51d79
docs(809): check off the final plan task
drmoisan
committed
ef431e6
docs(809): add feature review artifacts and withdraw the unverified apartment claim

drmoisan
and
claude
committed
b1c211c
docs(809): correct the apartment mechanism recorded for future planners

drmoisan
and
claude
committed
3b4a0c9

Navigation Menu

fix(809): reject non-STA UiThread.Init callers, allow init retry, and relax the awaiter predicate - #814

fix(809): reject non-STA UiThread.Init callers, allow init retry, and relax the awaiter predicate#814
drmoisan merged 20 commits into
mainfrom
bug/uithread-init-contract-residuals-784-787-788-809

Commits on Sep 8, 2026

docs(809): add active bug feature folder for UiThread init contract residuals

docs(809): add research artifact and correct the #784 root-cause note

docs(809): author the bug specification

docs(809): author the atomic implementation plan

docs(809): extend the spec Write Set with three DoNotParallelize-only test files

docs(809): apply preflight round 1 delta to the plan

docs(809): apply preflight round 2 delta to the plan

docs(809): apply preflight round 3 delta to the plan

docs(809): apply preflight round 4 delta to the plan

chore(809): capture Phase 0 baseline, bootstrap and policy-read evidence

test(809): add the UiThread capture-object factory seam and state-reset scope

test(809): add failing regression tests for the three UiThread defects

fix(809): reject non-STA callers in UiThread.Init and repair retry and awaiter

test(809): reconcile the MTA UiThread.Init caller with a pumping dispatcher

chore(809): record the final QC toolchain loop evidence

docs(809): record coverage comparison, acceptance-criteria check-off and closure

docs(809): check off the executed plan tasks

docs(809): check off the final plan task

docs(809): add feature review artifacts and withdraw the unverified apartment claim

docs(809): correct the apartment mechanism recorded for future planners