validate: Add error for linearizability watch validation

iamrajiv · iamrajiv · commit adc3966d554c · 2025-02-17T09:13:34.000+05:30
- Introduce new error `errBrokeLinearizable` to detect watch events that violate linearization order
- Enhance watch validation robustness by tracking potential linearizability issues
diff --git a/tests/robustness/validate/watch.go b/tests/robustness/validate/watch.go
@@ -35,6 +35,7 @@ var (
 	errBrokePrevKV       = errors.New("incorrect event prevValue")
 	errBrokeIsCreate     = errors.New("incorrect event IsCreate")
 	errBrokeFilter       = errors.New("event not matching watch filter")
+	errBrokeLinearizable = errors.New("broke linearizable property: watch events don't match linearization order")
 )
 
 func validateWatch(lg *zap.Logger, cfg Config, reports []report.ClientReport, replay *model.EtcdReplay) error {

Original file line number	Diff line number	Diff line change
`@@ -35,6 +35,7 @@ var (`
`35`	`35`	`errBrokePrevKV = errors.New("incorrect event prevValue")`
`36`	`36`	`errBrokeIsCreate = errors.New("incorrect event IsCreate")`
`37`	`37`	`errBrokeFilter = errors.New("event not matching watch filter")`
	`38`	`+ errBrokeLinearizable = errors.New("broke linearizable property: watch events don't match linearization order")`
`38`	`39`	`)`
`39`	`40`
`40`	`41`	`func validateWatch(lg zap.Logger, cfg Config, reports []report.ClientReport, replay model.EtcdReplay) error {`