yes, one can say it is "guessing" but taking in these into account:

> Source, in order of preference: (a) the implementation disagreeing with itself (C vs Python twin, fast vs slow path, method vs equivalent method, round-trips, str vs bytes); (b) undisputed invariants (no crash, no internal error leaking, results in range, no hang); (c) explicit doc sentences read in context.[...]

https://github.com/Broyojo/python-formalization/blob/main/AG...