so while the person who is key owner of 3M4B3JtH3dhWV3Ytoh6XzDrxeaSWtvaBnJ multisig thinks he owns the first sat of a blockreward
the theory of taint following would actually show after many hops that 1GQdrgqAbkeEPUef1UpiTc4X1mUHMcyuGW has kept that 'first sat'
according to the ordinal theory.
Nope, because the output in question is a change output, not a spend output, so they're considered to be secondary according to "first in, first out." Think about when you purchase something for £3 with a £10 note. What happens first: do you make the payment first or do you get your change first? Like miner fees, change outputs always follow spend outputs, regardless of their positioning in the construction of the transaction.
but hey nutildah seems to forget the other facts of math logic and economics that further broke the theory.. but if you ignore math, logic, economics. and just follow the theory. even the theory shows that 3M4B3JtH3dhWV3Ytoh6XzDrxeaSWtvaBnJ doesnt own the valued "first sat" of a block reward
Of course it does. You just fail to sufficiently understand the theory. And BTW, 3M4B... doesn't own the "first sat" anymore, it got sent several more times before arriving at its present location, all of which I laid out and provided an explanation for in the post you quoted.
https://github.com/casey/ord/blob/master/bip.mediawikiTransfer and the Dust Limit
Any single-sat transfer can be accomplished in a single transaction, but the resulting transaction may contain outputs below the dust limit, and thus be non-standard and difficult to get included in a block. Consider a scenario where Alice owns an output containing the range of sats [0,10], the current dust limit is 5 sats, and Alice wishes to send send sat 4 and 6 to Bob, but retain ordinal 5. Alice could construct a transaction with three outputs of size 5, 1, and 5, containing sats [0,4], 5, and [6,10], respectively. The second output is under the dust limit, and so such a transaction would be non-standard.
This transfer, and indeed any transfer, can be accomplished by breaking the transfer into multiple transactions, with each transaction performing one or more splits and merging in padding outputs as needed.
To wit, Alice could perform the desired transfer in two transactions. The first transaction would send sats [0,4] to Bob, and return as change sat [5,10] to Alice. The second transaction would take as inputs an output of at least 4 sats, the change input, and an additional input of at least one sat; and create an output of size 5 to Bob's address, and the remainder as a change output. Both transactions avoid creating any non-standard outputs, but still accomplish the same desired transfer of sats.
Regardless of your personal interpretation of things, if you were correct and I was incorrect, the "uncommon sat" wouldn't be where the
ordinals explorer shows it to currently be.
