TypeScript / 輸出邊界對照

01 / 問題

方法

32組合成輸入經斷言、物件、原始JSON與既有Java四種入口；另離線重放一份歷史真實回應。

結果

斷言誤接收22個、物件驗證誤接收4個；原始JSON與Java判定32/32一致。

觀察

重複鍵於JSON.parse後消失，物件入口亦無法驗證原始長度。歷史圍欄回應嚴格拒絕，明確適配後通過。

結論

靜態型別不取代執行期契約；結構正確不等於分類語義正確。

限制

刻意構造的邊界，不是模型錯誤率；扁平契約，非通用JSON解析器。無新增API呼叫。

重現

型別檢查、37項測試與32組差分稽核通過；Node26.8.2、TypeScript7.0.2、Java1.8.0_171。

1. 工程案例

   TypeScript 能保證模型輸出正確嗎？32組輸入與 Java 驗證器的邊界對照

   從型別斷言、unknown到原始JSON：重現22個誤接收、4個物件驗證盲區，以及Java/TypeScript契約一致性的實際邊界。

   2026-09-3011 分鐘已發布
2. 實作教程

   Java LLM 實踐（二）：HTTP 200 之后，怎樣驗收模型的 JSON？

   從一次真實的代碼圍欄響應和三次超時出發，用 Java 8 實現嚴格結構校驗、受限格式適配與可追溯的失敗處理。

   2026-09-2816 分鐘已發布
3. 專案 / 002

   Java LLM 實作集

   五個 Java 8 Demo與TypeScript邊界對照：請求、輸出驗收、交易式歷史及可追溯實驗。

   開發中