I'd love to read about how you can use so-called “type hints” to mechanically rule out programs that inspect the internal representation of abstractions provide

I'd love to read about how you can use so-called “type hints” to mechanically rule out programs that inspect the internal representation of abstractions provided by third parties.