[rustjava-lane-restart-upstream-sync-precondition] docs: re-measure upstream gap (9/32) and cut stale leftovers 4→2

[Jun025]

docs-only. 코드 변경 0.

오늘 실측

• git rev-list --left-right --count origin/main...upstream/main → 9 32 (구판 STATE 의 「20 뒤처짐」은 낡음)
• 공통조상 62cf0c6 · upstream tip 95ebc5c · origin tip 2e61e93
• git merge-tree --write-tree --name-only origin/main upstream/main → 충돌 17파일

선행조건 종결

upstream agent/runtime-api-gaps(6309d47) 는 미머지가 아니다 — PR dlunch#190 으로 2026-07-25 04:59Z 스쿼시 머지(c4665b0, +33,109/−1,040), 브랜치는 upstream 에서 삭제됨. 따라서 「삼키는지」는 upstream/main 트리에 직접 물었다.

잔존분 재판정: 4건 → 2건

삼킴(무효): Timer.schedule(TimerTask;J)V · StringBuffer.insert(I,String) · StringBuffer.append([CII) null→NPE · ByteArrayInputStream.<init>([B) · Class.forName 가드 · Integer.byteValue()/shortValue()(java/lang/Number 가 구현 제공, #176)

유효 잔존: System.arraycopy null 가드 · String.<init>([B)/([C) null 가드
근거: ClassInstanceRef::deref 가 unwrap() → null 넘기면 호스트 프로세스 abort.

정정 — 「이미 처리됐다」가 거짓인 항목

• invokedynamic todo!(): origin/upstream 양쪽에 그대로 존재
• 상수풀 태그 분기: 양쪽 1~12 까지뿐 — 15/16/17/18 부재
• InputStreamReader 경계 유실: origin/main 미해결(upstream 에 완화책 있음 → ①의 머지로 유입)

검증

cargo fmt --check OK · cargo clippy --workspace --all-targets 경고 0 · cargo test --workspace148 passed / 0 failed

Ticket: rustjava-lane-restart-upstream-sync-precondition