Answer:
To check how the program determines a certain required reinforcement area, you can switch to the table with the required reinforcement and double-click the cell with the requested result value.
A dialog box with "design check details" appears where the determination of the required reinforcement is documented.
In the area on the right of the dialog box, you can find all equations applied in the program, and thus also see which design gives the required surface reinforcement.