docs: 修正 Map 有序性描述和 AQS PROPAGATE 推演 (#2861, #2863)

- 补充 Map 有序性说明：区分 HashMap（无序）与 LinkedHashMap/TreeMap（有序）的实现差异
- 修正 AQS PROPAGATE 推演：原推演遗漏了 setHead() 不重置 waitStatus 的事实，
  导致"无 PROPAGATE"场景下二次 head 判断实际能通过。重写推演案例，引入更极端的
  并发时序来展示 PROPAGATE 的真正价值——通过修改旧 head 状态提供不可被并发替换
  的保障，与二次 head 判断形成双重保险（JDK-6801020）

Co-authored-by: Cursor <cursoragent@cursor.com>