I want my contract to check that a claimed event was indeed logged.

Assuming I know how to follow a merkle path from a recent block and find the bit patterns of a log entry, how in solidity do I get the bit patterns from the claimed event object, so I may compare the two?

Also, how from the source code do I extract the topic and the bit pattern encoding, so I may do the same job from my client and server programs, outside of the contract itself?

I want my contract to check that a claimed event was indeed logged.

Assuming I know how to follow a merkle path from a recent block and find the bit patterns of a log entry, how in solidity do I get the bit patterns from the claimed event object, so I may compare the two?

Also, how from the source code do I extract the topic and the bit pattern encoding, so I may do the same job from my client and server programs, outside of the contract itself?

PS: I suspect that at least part of the answer lies in the Solidity ABI Spec, but for the neophyte that I am, there is information or meta-information missing, such that I'm not sure how to interpret all that data. Examples and/or code would help.