Predicate locks under SERIALIZABLE
SERIALIZABLE tracks what you read with SIReadLock entries. They never block; they only detect dangerous patterns.
task
In a SERIALIZABLE transaction read lab.t and copy the modes SIReadLock count into table lab.pl, then show it.