Run python3 -B verify_executor_history_offline.py with this appendix’s JSON financial inputs and public_crypto.py together. Only Python standard library is needed. The verifier forbids sockets and subprocess creation. It replays the28-step saved code search, checks the adjacent code boundary and matching runtime, reconstructs direct CREATE address and creation signature, compares all15 exact native-payment logs between full/partition results, and verifies the first3 transaction signatures/receipts/headers and balance-word arithmetic. It checks the retained derived output without changing it.

This is a bounded adjacent-appearance and shared-payment-pattern study. No global first-ever contract life, beneficiary ownership, human identity or attacker association is inferred. Full external documentation/source bodies are unnecessary.

Chronology controls: all15 matched payouts are earlier than the collector OpenOcean swap at block96394389;14are before the first retained drain block96392296 and1is during the drain at96393767. The3 fully signature-verified examples are all before the first drain cutoff. The corrected counts and raw-byte preservation are recorded in CHRONOLOGY-REVISION-NOTE.json.
