TLA+ protocol expansion for Where - #184

Merged

kyleve merged 14 commits into

mainfrom

cursor/tla-protocol-expansion

Aug 6, 2026

Commits on Aug 4, 2026

Add unified ./tla-check runner and migrate TrackingReconciliation

kyleve
and
cursoragent
committed
76f8486
Add IntentServicesHandoff TLA+ specification

kyleve
and
cursoragent
committed
e8eb3fb
Fix tracking toggle race with coalesced worker

kyleve
and
cursoragent
committed
f1bb6bc
Add IngestorQuiesce TLA+ specification

kyleve
and
cursoragent
committed
d4a4fae
Add LogRouting TLA+ specification

kyleve
and
cursoragent
committed
c9a7aa4
Add PostWriteReconcile spec and route ingest through full fan-out

kyleve
and
cursoragent
committed
1efe262
Add StorePerformSerialization TLA+ specification

kyleve
and
cursoragent
committed
c65faf3
Extend IntentServicesTests for handoff clear/resume

kyleve
and
cursoragent
committed
86a4df8
Update Where TODOs and AGENTS for TLA+ expansion

kyleve
and
cursoragent
committed
7c09b6b
Add P2 TLA+ specs: LaunchLifecycle and ScopeExclusivity

kyleve
and
cursoragent
committed
2566abf
Restore completed P2 entry accidentally dropped from TODOs

kyleve
and
cursoragent
committed
8fd615e
Fix ingest fan-out to preserve redundant-sample widget skip

kyleve
and
cursoragent
committed
ee3eaa2
Credit TLA+/TLC via new developmentTools attribution source

kyleve
and
cursoragent
committed
29822bb
Rename reconcileAfterDayChange to reconcileAfterDayDataChange

kyleve
and
cursoragent
committed
e9c26d6