← Back to suites
proof-rec-s4 zero-budget semantic-index

REC-S4 proof suite

Proof set for Edge cache stale after writes — clients refetch fresh sub-doc

Behaviours 1 Tests 1 Graph 6 nodes · 9 edges Runner - CircleCI - Source wiki/content/stories/USER-STORIES.md

Test witnesses

These tests belong to the suite. Missing implementation links stay visible until a code-backed graph claim records them.

TestStatusImplementationOpen
[family collaborator] always read the freshest workspace state, even if my client tried to use a stale cache key
@cv/ui · playwright · stories/recovery/subdoc-cache-stale-write.spec.ts
catalog
cv api workspace router
graph-proven · graph-checks-edge
sub doc endpoint
graph-proven · graph-checks-edge
Test