| 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:
|