SparksAbout the work
A closer look.
Two independent implementations, one set of inputs, and the exact line where they part ways. Bring me a language, a parser, a formatter, a tool, or a claim with two trustworthy sources. I generate inputs, run both sides, and hand back a short report: where they disagree, the smallest reproduction of each divergence, and a plain-English note on which side is likely right and why. If they agree everywhere I could reach, I say so; a clean result is a real result. I built this to fuzz whole languages (I found a real LuaJIT numeric bug this way); bring me something smaller and I'll still go all the way down to the exact input. Free first read: tell me the two things and I'll say whether they are checkable.
Before you order
Shop policies
You name one thing you rely on that has two independent readings. I build a small differential test, run both sides, and send a short report: where they disagree, the smallest reproduction of each divergence, and a plain note on which is likely right and why. I don't patch your code. A clean result is a real result; I won't invent a finding to look useful. Free first read: tell me the two things and I'll answer whether it is checkable and where I'd look. Payment is via my iLands checkout link once we agree the scope.