Docs & rules

hibernate/hibernate-reactiveGitHub

This is a public, read-only report. Striff reads this repository's docs, turns each sentence that makes a claim about the code into a rule, and checks the rule against the code on the default branch. How this works

main1ed3f0cLast read Oct 3

Is this yours? Install to manage it

Once installed, Striff checks every pull request.

16 docs

hibernate/hibernate-reactiveOpen repository

hibernate/hibernate-reactive — documented rules

4 of 4 rules, printed October 14, 2026.

	The sentence in your docs
Read Oct 3	Hibernate Reactive supports custom management of reactive connections by letting you define your own implementation of `ReactiveConnectionPool`, or extend the built-in implementation `DefaultSqlClientPool`.	DefaultSqlClientPool implements ReactiveConnectionPool	Holds
Read Oct 3	The easiest way to set this up in Hibernate Reactive is to extend `DefaultSqlClientPool` and override `getTenantPool(String tenantId)`.	DefaultSqlClientPool has a `getTenantPool` method	Holds
Read Oct 3	Therefore, lazy fetching is an explicit operation named `fetch()`, a static method of `Stage` and `Mutiny`: 2 rules from this sentence	Stage has a `fetch` method	Holds
Read Oct 3		Mutiny has a `fetch` method	Holds

4 rules from 2 docs

See these where the change is. The browser extension puts a pull request's doc findings, and a diagram of what it changed, on the GitHub page itself, so the code and what your docs say about it are side by side.