-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: rdryfoos/specassay
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
example-app: field-measured reconnect beats the budget — tighten AC-SYNC-01 to 2s, proof included
#5
opened Aug 11, 2026 by
rdryfoos
Owner
Loading…
example-app: tighten the offline-sync reconnect budget to 2s
#4
opened Aug 10, 2026 by
rdryfoos
Owner
Loading…
Demo (intent restated): tighten the sync SLA from 5s to 3s
#3
opened Aug 10, 2026 by
rdryfoos
Owner
Loading…
Demo (broken thread): close the debt task without adding the proof
#2
opened Aug 10, 2026 by
rdryfoos
Owner
Loading…
example-app: prove the disjoint-field merge (close AC-SYNC-02 debt)
#1
opened Aug 10, 2026 by
rdryfoos
Owner
Loading…
ProTip!
Filter pull requests by the default branch with base:main.