The AGA chips that commodore designed and had manufactured are "proper". Anything you design and manufacture are not the same.
I'll join you in playing your game of semantics:
If C= was still alive today (and filthy rich) and pulled out their original VHDL/Verilog for AGA to make a "20-years celebratory model" 4000 and had new chips manufactured by one of today's chip foundries in a current fab, would that be a proper Amiga?
If they made an internal test first to check their tools and used FPGAs to implement it, would that be a proper Amiga?
If I had a backup tape passed over from a friend of a friend with the original design and had it implemented in the same fab as used in 1990(91?) would that be a proper Amiga?
If yes, would it be if implemented in a current fab?
If yes, what about if I used FPGAs for it?
If you attend a faire with Jens Schoenfeld showing two A1000s and he tells you "one of these have had the custom chipset removed and replaced with FPGAs" and you can't tell the difference (assuming you have all the sw in the world to bring along to test), which one is a real Amiga?