You can verify that any satoshi came from some block but you can't certainly say from which block it came. Most transactions have more than one input. Concepts like ordinal theory are arbitrary First in First out. They could very well use Last in first out.