Log in

Commit d234051b

d234051be762

Merged on mrmrs-250abb
mrmrs · 1 month ago · 26 files +24 added ~2 modified
A scenarios/robustness.yaml
1+# Robustness lane (suites/robustness): scenario and operation names are
2+# immutable identity (ADR-0005). Semantics: suites/robustness/README.md.
3+lane: robustness
4+suite: suites/robustness/run_robustness.py
5+scenarios:
6+ crash_time_v1: kill -9 the client at fractions of the calibrated op duration
7+ crash_syscall_v1: kill -9 before the N-th durability boundary (fsync/F_FULLFSYNC/rename)
8+ fault_proxy_v1: one injected network fault per request (503, drop-after-send, truncated reply, kill before/after upstream) plus slow and jitter modes
9+ conc_same_branch_v1: N clients push one branch; linearizability + no lost acknowledged write
10+ conc_distinct_branches_v1: N clients push distinct branches
11+ lock_shared_commit_v1: N concurrent commits in one checkout (workdir lock)
12+ lock_shared_push_v1: N concurrent pushes from one checkout (publication lock)
13+ lock_stale_owner_v1: lock owner SIGKILLed mid-commit; contenders must reap it
14+ lock_credentials_v1: concurrent credential saves (unsupported in v1)
15+ env_disk_full_v1: operation on a full RAM disk
16+ env_readonly_v1: store or worktree subdir read-only
17+ env_fsync_load_v1: same-branch concurrency under an fsync storm
18+ hosted_merge_invariants_v1: merge-owner invariants for hosted merge (spec; needs local oakspace)
19+operation_catalog:
20+ commit:
21+ push:
22+ pull_ff:
23+ pull_diverged:
24+ clone:
25+ switch:
26+ merge_local:
27+ merge_hosted:
28+ mount_finish:
29+ concurrent.push:
30+ concurrent.commit:
31+ credentials.save: