left-pad 事件中沒有人看得出那個節點的波及範圍,因為大家看的是單層相依清單。本文分開量一族薄核的資料流圖與相依圖,證明箭頭數完全相同而波及範圍從零到全數,並討論跨 repo 的紀律傳播。
一個自覺克制的設計仍把重試與退避烤進了核心,而修正發生在第二個消費者出現之後。本文證明當下克制與事後重寫付的是不同的東西,並處理治理的自我指涉:規則觸發率是治理失衡的可觀察訊號。
sun.* 的邊界在文件上寫了二十年,直到模組系統讓它第一次生效。本文量出人審與機械檢查的差距是複利級的,並用孤兒散文三分法給出「不長大」的可驗收目標:孤兒數為零,而非機械化率。
javax 到 jakarta 的遷移代價不來自商標爭議,而來自品牌名被放進了 API 識別字。本文量化品牌滲透深度如何決定改名成本,論證命名是三道範圍防線裡最便宜、且時機只有一次的一道。
無消費者、單一消費者、多消費者三條路都通向失敗,但失敗的種類與代價並不對稱。本文打開消費者三難的黑箱,證明聯集同時吃下缺漏與強加兩種最壞情形,而交集加附掛是唯一有出口的路。
第一代 iPhone 沒有複製貼上卻沒有死,因為那項能力是碰得到的而非承重的。本文證明在固定預算下「全都做」不是保守而是斷崖式歸零,並給出把以相鄰性成長的候選清單收斂成承重集合的判定程序。
三次委託拿回的都是平台而非薄核。本文論證這不是粗心而是結構:薄意圖由沒說出口的「不要」定義,而補全引擎讀不到沉默,只能在規格的空缺處填入語料眾數;並證明「補少一點」在形式上調錯了軸。