I'd argue that it is important information for collectors to know which coins actually circulated.
Yes, in normal times, it should hold good.
In present case, we are discussing extremely high inflation periods, on the cusp on remonetisation.
The coins might have been minted for circulation but did not circulate.
We are excluding silver and gold coins else, France issues a gold coin with denomination of 1000€ and issues at face value. Does it make it a circulation coin? Its mintage is against specific order and rarely does it go above two digits.
That brings us to mintage data to be used as definition of circulation vs non circulating.
Another aspect is design. Does it show an event or a person being celebrated? Also does it get minted in more than one year?
All these aspects need to be kept in mind before deciding whether it is a circulation coin.
Another aspect I really check is that is the denomination a normal jump over the previous high denomination? Pakistan 550 Rupees base metal coin jumps over the previous high of 10 Rupees circulation coin. What is your opinion on that?
In case of circulation coin being difficult to obtain, I will quote two examples.
Nigeria issued three coins in 2006. Before they got issued, they had become worthless and persons withdrawing cash from banks were forced to accept a part payment in coins.
Venezuela demonetised its currency in 2018 and issued two coins of Bolivar Soberano ( VES) but before issuing, the metal cost had gone much above the face value so after issuing for few days, balance were never issued and melted. Did they circulate even if they were circulation coins?
More example could be quoted but these should suffice.