What was done
One plain English question to the agent found the hardcoded 1752-09-02 switch date in about a minute and a half, on video, with the trace checked by hand.
Fahd Mirza used REA with OpenCode and Ghidra on the stripped Ubuntu cal binary to find where the calendar switch to Gregorian time lives. Linux cal skips 11 days in September 1752, and the question was where the program knows that.
How it was done
REA is an MCP server that plugs into AI coding agents; the setup ran on Ubuntu with Ghidra. The target is a stripped binary with no function names, in the same no-source-code situation as most shipping software. One plain English question drove the trace, and the agent reported the hardcoded 1752 date along with the evidence for each claim, flagging what had not been traced rather than papering over it.
Results
The switch date was located in about 1.5 minutes in the recorded demo. The result was then tested by hand from the terminal: switching the country or using the Julian calendar brings the missing days back, which matches the trace. The full hands-on video is on YouTube, and the reminder to analyse only software you are allowed to examine is in the post.
