monsterer you are babbling nonsense. Sorry I am not going to unravel for you the entangled myopia you are weaving. The more I try to explain, the more deeply you will nest your misunderstanding. This is simply ridiculous that you are incapable of understanding freshmen level Computer Science.
Did you study at the university?
It's a shame that you are unable to explain yourself given a straightforward question and are forced to resort to childish insults.
I have already explained it. I was also cordial in hinting to you that you needed re-read my post and learn. Then you pushed it by saying my cordial hint was not civil. So I tried to explain it to you again. Now you've gone one step further by calling your Professor childish.
I think perhaps what you are proposing (yet you did not articulate it) is that you want every transaction to require that the input data is annotated to specify where that data appears on the block chain (i.e. which script output it is). But that means you are proposing to exclude "external I/O"; and I had already written upthread that yes if a design excludes external I/O then the problem is solved, but this means the programmability is mostly useless, e.g. no new accounts, etc..
Please monsterer think about what I have written. Please learn about type systems and what "
dependently typed" means. Take some quiet time.