[b-re-w]

Documentation corrected: the statuses had fallen behind the code (found by the ecosystem survey).

item	before	now	evidence
N-7 gate	partial, "not yet run by the build"	implemented	the gate bundle #212 and toolchain #91 run it in every consumer build (#20)
N-8 compile to C	planned	implemented for desktop host builds	the listed tests; free-threaded #159
N-9 safety proved on the IR	planned	implemented	verify.py, test_verify*.py incl. fuzzing, the ASan/UBSan CI job with TP_CHECK_PROVEN
N-10 incremental	planned	partial	the Python cache (incremental.py, tests) is implemented; the Gradle task waits for the pypackpack slot (#25, #113)
N-11 classes	methods planned	+ link to #155

N-8 also names what is not done yet: app shipping (#25), methods (#155) and native ints in impure functions (#232). Docs only.