feat(run-engine): Redis waitpoint store coordinator, Lua protocol, and waitpoint ids - #4761

Merged

d-cs merged 54 commits into

mainfrom

feat/waitpoint-store-coordinator-tri-13440

Aug 24, 2026

Commits on Aug 21, 2026

feat(run-store): keyspace and entry helpers for the Redis snapshot store
d-cs
committed
5da48f9
fix(run-store): import only what the helpers use
d-cs
committed
030acd1
feat(run-store): append and id-keyed reads for the Redis snapshot store
d-cs
committed
92028d5
fix(run-store): anchor liveness on the counter and make append idempotent
d-cs
committed
66479aa
feat(run-store): wait-cycle waitpoint id reads
d-cs
committed
9f67724
test(run-store): the snapshot store TTL rule and keyspace liveness
d-cs
committed
47dab96
test(run-store): prove the completion TTL is re-applied, not merely uncleared
d-cs
committed
a4e9ede
feat(run-store): getSince with a newest-first window and head-only waitpoints
d-cs
committed
005c76c
fix(run-store): scope getSince by the since entry, not by the window
d-cs
committed
42d9a64
test(run-store): cover getSince's evicted-body skip guard
d-cs
committed
ef4fb13
fix(run-store): pair the head waitpoint order with the surviving head row
d-cs
committed
a5ad85a
test(run-store): environment scoping on the snapshot store reads
d-cs
committed
fa944e6
test(run-store): the optional compare-and-set on the current snapshot pointer
d-cs
committed
db08cf5
test(run-store): hash-tag slot and keyPrefix guards for the Lua key derivation
d-cs
committed
d87187d
test(run-store): snapshot store size metrics and high-water logging
d-cs
committed
39cd9ad
fix(run-store): name the run in high-water warnings
d-cs
committed
b61cb4d
test(run-store): pin the metric, CAS and slot assertions to their values
d-cs
committed
1bf9dba
style(run-store): wrap the high-water warnings after oxfmt
d-cs
committed
aa16e6e
fix(run-store): check for a duplicate id before the compare-and-set
d-cs
committed
b4c411a
test(run-store): prove getSince drops a foreign-environment row
d-cs
committed
9bec737
feat(run-store): warn when a cycle pointer's count disagrees with its order
d-cs
committed
8b62d08
Merge remote-tracking branch 'origin/main' into feature/tri-13446-redis-snapshot-store
d-cs
committed
0daa273
feat(core): run-ops format waitpoint ids with a type char and version w
d-cs
committed
4c1f6e5
fix(core): reject a foreign prefix in parseWaitpointId
d-cs
committed
d801da8
feat(run-engine): waitpoint coordination keyspace and single-slot assertion
d-cs
committed
10a80fa
feat(run-engine): waitpoint shard scripts for create, register and complete
d-cs
committed
a5fecde
fix(run-engine): order-independent absorb count, arity guards, and guard-test coverage
d-cs
committed
72062a8
fix(run-engine): correct the Lua truncation claim and widen absorb coverage
d-cs
committed
79d14ca
feat(run-engine): idempotency-keyed waitpoint creation, record before reservation
d-cs
committed
6d624d8
fix(run-engine): tolerance-band expiry assertion, honest orphan comment, drop dead ?? on Lua reply
d-cs
committed
6aea717
feat(run-engine): run shard operations for absorb, deliver, read and clear
d-cs
committed
77f0e4d
fix(run-engine): fail loudly on a missing edge reply slot, guard empty-array clear
d-cs
committed
7e1142a
feat(run-engine): register-then-absorb across the waitpoint and run shards
d-cs
committed
5ef87ef
fix(run-engine): replace the reported-envelope symbol with a JSON-safe box
d-cs
committed
bedce8b
chore(run-engine): export the waitpoint store coordinator surface
d-cs
committed
ccd17ff
test(run-engine): benchmark waitpoint pending count, hydration and fan-out
d-cs
committed
ef7f3fc
style(run-engine): wrap bench test lines over printWidth
d-cs
committed
8d25d66
test(run-engine): guard the watcher first-write-wins rule and pin the edge-field split
d-cs
committed
4530122

Commits on Aug 24, 2026