This is intended as a response to Captain pi. I don't expect others to necessarily be able to follow this post.
All comments refer to the Mathematics Extension 1 candidature of 2004.
Assumptions
<ul type="square"><li>
A1: The student in question received an aligned examination mark of 100/100.
<li>
A2: The student in question was ranked absolute first in his internal assessments.</ul>
Inferences
<ul type="square"><li>
I1: The student received an unrounded aligned HSC mark of at least 99.5/100.
(From A1, A2.)</ul>
Facts
<ul type="square"><li>
F1: A total weighted mark of 75/84 equated to an aligned examination mark of 48/50.
<li>
F2: Ivan Guo, a top achiever ranked equal fourth, received an aligned HSC mark of 100/100.
<li>
F3: The rankings of the other top achievers are known. (
Source)
<li>
F4: The student in question was not a top achiever.
<li>
F5: The maximum raw examination mark was 84/84.</ul>
Deductions
<ul type="square"><li>
D1: Ivan Guo's raw HSC mark was strictly in the range 82.6 ≤ x ≤ 83.8.
(From (1), (2), F2, F3.)
<li>
D2: A raw HSC mark of 83.5 is sufficient (but not necessary) to be classed as a top achiever.
(From F3, F5.)
<li>
D3: The student in question's raw HSC mark was strictly in the range 82.6 ≤ x ≤ 83.4.
(From I1, D1, F3, F4.)
<li>
D4: The top achiever cut-off was strictly in the range 82.7 ≤ x ≤ 83.5.
(From D3, F4, F3.)</ul>
All of these deductions are consistent; there are no contradictions.
There are insufficient data to determine whether or not the student in question should have been classed as a top achiever.
If a contradiction were to be found, I would question the validity of
A2.