In the Bitcoin context and other coins based on the UTXO model, technically there are no lost coins; what exist are spendable addresses that have become inaccessible because the person who had possession of the private key controlling the funds no longer has it.
I object to your claim that there are technically no lost coins for an UTXO transaction model. Off the top of my head for Bitcoin you have lost and completely vanished coins when a miner doesn't claim the full block reward consisting of block subsidy and transaction fees of included transactions in a block. Those unclaimed coins are gone and nowhere visible on the blockchain anymore.
No sane miner would do that but it has rarely happened either deliberately or by bugs (because it happened very rarely I tend to assume it was in the majority of the rare cases a deliberate act to prove whatever point). One example is block 124,724 (claimed 1sat less than block subsidy of 50
BTC and no transaction fees at all).
Then there are non-zero OP_RETURN outputs which coins are provably burned because they are not included in the UTXO set anymore. Burned and gone forever, I consider this as truely lost.
Something else are provably burned coins of transaction outputs which spending script provably can't evaluate to True. Those are highly likely non-standard depending on the individual spending script. I'm not entirely sure, but I think those show up in the UTXO set and will never leave it of course because those UTXOs are unspendable due to the unfulfillable spending script.
Technically in theory not lost are coins sent to public addresses with arbitrarily chosen public keys to which no matching private key is known (likely one exists we just don't have the time and energy to find it), like e.g. the uncompressed public address
1JHkucsiQt3WizTfd2r1b9sGeT6cUBXPii derived from the public key
0400...0001 (uncompressed).
Same applies for burner public addresses with arbitrarily chosen HASH160 value for which not even the public key is known, 2
96 must exist, or something silly like 1BitcoinEaterAddressDontSendf59kuE (current unspendable balance 13.35895537
BTC) where no public and private key are known for. It doesn't mean, none exists, we just can't find them.