Former Goldman Sachs programmer Sergey Aleynikov, who downloaded source code for the investment firmís high-speed trading system from the companyís computers, was wrongly charged with theft of property because the code did not qualify as a physical object under a federal theft statute, according to a court opinion published Wednesday.