As reported to the FAA. Reports are unverified, and codes are left as the FAA publishes them.
What was found
IAD - INFLIGHT MIA-DCA. ANTI-SKID FAULT LIGHT ILLUMINATED AFTER GEAR RETRACTION ON TAKEOFF. EMERGENCY DECLARED, LANDED IAD WITHOUT INCIDENT. AIRCRAFT REMOVED FROM SERVICE. REPLACED ANTI-SKID AUTO BRAKE CONTROLLER AND LEFT ALTERNATE CONTROL VALVE V125.