🧪  Pi Mainnet — 'Can the recipient tell mined Pi from bought Pi?'
    sender account: GC55LFCTGSDPDMNDIOHZVVA4CYCUF4IKI2SUGHWCJA2PCLPKH4HMDMIU
==============================================================================
📥  Inflows (last 15):
      + 0.0100000  from GATL6CXWJ2YD…
      + 0.0100000  from GCIBIC4AK4Z5…
      + 0.0100000  from GAFYMFIFTRZX…
      + 1.0000000  from GD3AGJ43YE34…
      + 0.0010000  from GC6KB3P5VI2Q…
      + 0.0200000  from GC6KB3P5VI2Q…
      + 0.0100000  from GC6KB3P5VI2Q…
      + 5.0000000  from GB2OAFXI6KAZ…
      ↑ these came from DIFFERENT counterparties (some mined, some not).
------------------------------------------------------------------------------
📦  Resulting balance (the whole account):
      native Pi = "2.0000000"   <- ONE number
      ↑ after commingling, there is no '5 mined + 10 bought'.
        There is only a total. The pieces are gone.
==============================================================================
📤  An outgoing payment from this account — the FULL record:
{
  "type": "payment",
  "from": "GC55LFCTGSDPDMNDIOHZVVA4CYCUF4IKI2SUGHWCJA2PCLPKH4HMDMIU",
  "to": "GBYXQJ6ZHXNLR6EFVLYW5DJPKLACXTYS2ZL4U3YF66R3UQEA7D5LSEYU",
  "amount": "0.0100000",
  "asset_type": "native",
  "from_muxed": null,
  "to_muxed": null
}
------------------------------------------------------------------------------
🔍  Does the payment carry an origin/mined/bought field?
      present origin-ish fields: NONE
      -> the recipient sees: amount + from + to + memo + txid.
      -> they DO NOT see where the coins came from.
==============================================================================
🧠  The formal reason (why this is deterministic, not a loophole):
      • The ledger state is  bal(account, native) -> a non-negative integer.
      • A payment does:  bal(S) -= a ;  bal(D) += a   (purely scalar math).
      • The state has NO per-unit identity. 'Which coin did I send?'
        is therefore NOT A QUESTION the ledger can answer — it is undefined.

      Two histories that end in the same balance are ledger-identical:
        H1: mine 5 -> S ;  buy 10 -> S        => bal(S) = 15
        H2: buy 15 -> S                       => bal(S) = 15
      History -> state is NOT injective, and 'origin' is not in the image.
==============================================================================
✅  Conclusion: the recipient CANNOT see the difference. Mined Pi and
    exchange-bought Pi are the same native asset, indistinguishable.
⚠️  Scope: this is not a claim about price. And note the ONE thing that
    graph analysis CAN see is an ACCOUNT interacting with a KNOWN exchange
    address (that is account-level history, not per-coin origin).
==============================================================================