PBL and overrun areas
Keep in mind that the runway does have a short overrun area (there is a displaced threshold), so the amount of tarmac is greater than that published. One can well imagine that things would have been different had manual braking been applied earlier. They would at least have gone off the end more slowly.
Sir, please do not confuse a displaced threshold for landing in the other direction, which is related to an obstacle, with the distance available for landing on 35L. The LDA for 35L was declared at the time of the accident in NOTAM J0362/07 (A) SBSP (B) 0704090001 (C) PERM (E) 35L LDA 1880M.
A look at Google Earth and use of the ruler function will show you that the distance from the threshold of Runway 35L to the end of the paved surface (and hence the start of the drop) is around 1880 metres.
The AIP here states that all ICAO Annex 14 runway physical requirements are met at the airport (AIP Brasil GEN 1.7 para 16).
The runway strip requirements at the end of a runway are given in ICAO Annex 14 Volume 1 paras 3.4.1 and 2 and requires a distance of at least 60 metres.
The runway end safety area requirements at the end of a runway are given in ICAO Annex 14 Volume 1 paras 3.5.1 to 3.5.3 which requires at least 90 metres and recommends 240 metres beyond the end of the runway strip.
Any logical implication that you make from the facts above relating to the validity of the statement in the AIP about Annex 14 compliance is purely your own deduction.
Kind regards and with the appropriate respect to PBL for the other areas of his work and conclusions,
Our Man.