guarantee means it 100% cannot slip through a crack. that's what unlinkability creates. where you reach is when you say "every input is proven to be a genuinely existing prior output. is it tho?
that's the problem. it isn't. it is guaranteed when the utxo links are visible. when they are obfuscated there is always a possibility of *someone* figuring out how to make a valid looking transaction that actually doesn't link to the graph.
