A quick follow up note - I had checked which of these properties are
already covered elsewhere in the
tree. Some are, and I have kept them here deliberately to assert
them directly treating this as a complete test, please let me know if this
doesn't sound right.
New, not asserted anywhere today IMO:
- pinned_safety: a pinned shared buffer is never chosen as a victim.
- scan_no_retain: a one-touch page does not indefinitely retain its buffer.
- churn: contents stay correct across many pool-wide reload cycles.
- eviction_reload: an evicted page reloads correctly and the manager makes
progress under pressure.
>