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