剖析聊天介面社會線索引發的過度採納現象，將建議、證據、核准與責任嚴格解耦為不相容之型別系統，要求具名授權角色承擔殘餘風險，打破口語流暢即具權威的假象。
分析同源多模型驗證中因共用假設而導致的自洽失敗，提出以獨立錯誤模式、外部 Oracle 與可證偽觀察構建的異源拒絕機制，阻斷同質模型相互驗證的盲區。
多重審查與多模型交叉驗證通常假定失效相互獨立，但在非均勻輸入難度下，Jensen 不等式證明共同漏檢機率必然高於獨立假設估計。本文推導有效偵測器數的衰減極限，建立一致無資訊、分歧有資訊的單邊效力判準，並給出機器審查在架構與實作間的最佳佈署位置。
將設計理念形式化為定義於全情境的全函數，指出規格僅是有限定義域上的偏函數查表，揭示分工交接時未定義域外推失敗與跨模組相容約束失去持有者的結構性根源。
生產成本屬於偶然複雜度，導入成本屬於本質複雜度。本文推導 O(1) 線性生產撞上與系統規模正比的 O(N) 對帳時所引發的 O(N^2) 累計成本爬升，形式化定義有限注意力下的可修改半徑，並揭示繞過既有程式碼的局部理性如何加速技術跑道耗盡。
藉由固定交易成本與持有延遲成本的對偶推導平方根律，證明偽拆分關卡如何在不縮減批量的情況下成倍推升固定開銷，指出降低單批固定交易成本才是縮減批量的唯一出路。
依據瓶頸理論與 Amdahl 定律證明串聯系統吞吐受限於瓶頸工站，局部服務率提升只會導致差額在製品向下游線性堆積，嚴格區分單件延遲加速與系統吞吐加速的本質差異。
透過 Kingman VUT 公式與佇列敏感度發散推導，解析高變異環境下產能利用率無法作為控制槓桿的數學機理，論證將控制訊號替換為在製品佇列長度並主動拒絕新工作的必要性。
一個自覺克制的設計仍把重試與退避烤進了核心，而修正發生在第二個消費者出現之後。本文證明當下克制與事後重寫付的是不同的東西，並處理治理的自我指涉：規則觸發率是治理失衡的可觀察訊號。
sun.* 的邊界在文件上寫了二十年，直到模組系統讓它第一次生效。本文量出人審與機械檢查的差距是複利級的，並用孤兒散文三分法給出「不長大」的可驗收目標：孤兒數為零，而非機械化率。