Dutch silver 10 Gulden 1970 & 1973, circulating or not?

According to the catalog, this is a non-circulating coin:

https://en.numista.com/catalogue/pieces7946.html

As I collect only normal circulation coins, I agree that this one is out of scope. But there are some more aspects to it. This coin was minted in relatively high quantities and legal tender for 10 Gulden. It was also issued at the nominal value. Similar to the German commemorative 5 and 10 Mark coins, they could also be seen as circulating, depending on the definition.

In my opinion there are more flavours to the non-circulating aspect:

a. Issued by mint at face value. Can be used everywhere, but not part of the everyday coinage.
b. Issued at face value but limited legal tender. Only redeemable at mint or bank.
c. Not issued at face value but legal tender for nominal value
d. Not legal tender, symbolic or bullion coinage where nominal value has no monetary purpose.

Dutch and German commemoratives fall under a. I believe that b applies to British £20 coins. A lot of non-circulating commemorative coins fall under c and I would place all the remaining garbage under d.

I would even suggest to categorise bullion separately, but also here it's important to know whether the coins were issued at BV +max 20% or at ridiculously high prices.

What do others think about this? Are those silver 10 Gulden coins circulating or non-circulating? If non-circulating, a lot of coins that fall in the above categories but are marked as circulating in the catalog should then be updated as well.

In the Dutch and German pages those coins (issued at face value and unrestricted legal tender) are marked as non-circulating but the French 100 Francs and 10 Euro coins are marked as circulating, whereas to my best knowledge they belong to the same category.

My opinion is that a coin is intended for circulation if it is sent to the banks for distribution to customers and businesses. (At least that's how coins get from the Mint to people's pockets in the United States, and I assume it is the same in most other places.)

If the only way to obtain a coin is by special order from the mint (or equivalent office) or by special commemorative sales events, then it's not a circulating coin.

So in this case, I think it would depend if the 10 Gulden coins ever went to the banks and were distributed to retailers and customers.

One-way distribution, from bank to individual, is not circulation. If said individual later spends the coin or deposits it into an account, then it is circulating.

A circle goes around and around. A line only goes one direction.

And this is an ongoing question for me, because I also only collect circulating coinage (with a very few special exceptions).

Cita: "Cerulean"​One-way distribution, from bank to individual, is not circulation. If said individual later spends the coin or deposits it into an account, then it is circulating.
​
​A circle goes around and around. A line only goes one direction.

​But the "Non-circulating issue" tag has to mean "intended for circulation", surely. Otherwise, we would have to mark the US half dollars and dollars from 1964 onwards as non-circulating, even though until fairly recently they were released to banks for circulation. (Nowadays they are only minted for collectors and sold directly from the US Mint.)