Suppose Mount Everest is the Earth's highest mountain above sea level, located in the Mahalangur Himal sub-range of the Himalayas. The China-Nepal border runs across its summit point. The current official elevation of 8,848.86 m (29,031.7 ft), recognised by China and Nepal, was established by a 1955 Indian survey.
Can we infer that "Mount Everest's official elevation has never been contested or revised after the 1955 Indian survey."? Yes, no, or maybe?