Stack upstream LeanType v4.0.2 above v3.9.9

[lurebat]

Goal

Integrate pinned LeanBitLab/LeanType v4.0.2 (0477ef83a4207495e9b8147c79092153e6061b4a) as an incremental stacked change above v3.9.9 PR #122.

Fork policy

• Preserve LeanTypeDual identity, privacy flavors, two-thumb behavior, and release-store metadata.
• Preserve the Java fallback gesture engine and its lowercase/script-aware behavior while porting v4 lifecycle, executor, OOM, and JNI safety improvements.
• Do not merge upstream/main; it is already one badge-only commit beyond v4.0.2.
• Keep draft release PR Release LeanTypeDual 3.11.0 #120 blocked until merge: sync LeanBitLab v3.9.9 #122 and the v4.0.2 integration are merged and reconciled.

Acceptance

• Stacked PR targets merge/upstream-v3.9.9 until merge: sync LeanBitLab v3.9.9 #122 lands.
• All four flavor compile gates pass.
• Full test failure sets match the merge: sync LeanBitLab v3.9.9 #122 baseline with no additional regressions.
• Offline flavors remain free of Internet permission.

Status

• Stacked integration branch and PR merge: stack LeanBitLab v4.0.2 #124 prepared
• Java fallback preserved with end-to-end ownership regression
• Flavor, baseline, manifest, catalog, and independent-review gates complete
• Review and merge merge: sync LeanBitLab v3.9.9 #122 into dev
• Retarget and merge merge: stack LeanBitLab v4.0.2 #124 into dev
• Reconcile draft release PR Release LeanTypeDual 3.11.0 #120

[AsafMah]

Closed after stacked v4.0.2 integration PR #124 merged into dev.