▨合成案例 · 非真實案場結果證據紀錄 · funds-availability-v1
Demo 背後的證據紀錄。
案件身分、來源頁、逐字引文、確定性檢查與對照案例，集中在同一頁。
僅使用合成文件，不含客戶或真實案場資料。
01案件身分
查驗的是什麼
挑戰代號funds-availability-v1
資料結構synthetic-long-document-blind-public@1.0.0
產生器funds-availability-blind-generator@1.2.0
合成資料true — 由我們建立，不含客戶或案場資料
查驗檔案variants/faulty.pdf · 80 頁
sha256c2bc88a6fe64442b078a1c35cbc8602d493606f017e532e8843c05409bf4c8bf
任務簡述 sha2561fcb1931bc1ffb4e4726f0f3d2f9fb4c8e3077e2b5956f358603a5b6ac5eaa3a
觀察基準日2025-02-10
必要定位p.17 · p.34 · p.58 · p.73 — 一項發現至少須連回兩個實體頁面
Oracle封存於 repo 外；已公布承諾雜湊，未公布內容
Harness 執行紀錄exit 0 · 10 suites · 259 tests · 0 skipped — 2026-08-15 於本機 worktree 觀察
02逐字來源節錄
四個頁面，依原文呈現
繁體中文原文保留為證據；正規化數值與英文工作翻譯並列顯示。
介面：繁體中文 · 證據原文：繁體中文
證據保留原文；英文僅是工作翻譯。
p.17 · 核准土地融資額度●TWD 100.0M
證據原文 · ZH-TW
核准額不單獨表示任一時點皆可動用
文件原始寫法 · ZH-TW
10,000 萬元
英文工作翻譯 · 不是證據原文
An approved amount does not, by itself, indicate that it is drawable at any given point in time.
本頁載明的有效日期未載明
來源檔案 · sha256variants/faulty.pdf · c2bc88a6fe64442b…
p.58 · 動工前可撥金額●TWD 80.0M
證據原文 · ZH-TW
動工前可撥金額 8,000 萬元
文件原始寫法 · ZH-TW
8,000 萬元
英文工作翻譯 · 不是證據原文
Amount disbursable before construction start: 80.0M.
本頁載明的有效日期未載明
來源檔案 · sha256variants/faulty.pdf · c2bc88a6fe64442b…
p.58 · 附條件保留款●TWD 20.0M
證據原文 · ZH-TW
條件未成就前處理 不得列為可動用資金
文件原始寫法 · ZH-TW
2,000 萬元
英文工作翻譯 · 不是證據原文
Treatment before the condition is met: it must not be counted as available funds.
本頁載明的有效日期未載明
來源檔案 · sha256variants/faulty.pdf · c2bc88a6fe64442b…
p.73 · 動工證明狀態●尚未取得
證據原文 · ZH-TW
動工證明 尚未取得 計畫動工日期 2025-03-15
文件原始寫法 · ZH-TW
動工證明：尚未取得
英文工作翻譯 · 不是證據原文
Start-of-construction certificate: not yet obtained. Planned construction start date: 2025-03-15.
本頁載明的有效日期2025-02-10
來源檔案 · sha256variants/faulty.pdf · c2bc88a6fe64442b…
p.34 · 文件載明可動用資金●TWD 100.0M 可動用 · TWD 0 附條件
證據原文 · ZH-TW
當期可動用土地融資 10,000 萬元
文件原始寫法 · ZH-TW
當期可動用土地融資 10,000 萬元 · 附條件、尚未可動用金額 0 萬元
英文工作翻譯 · 不是證據原文
Land facility currently drawable in this period: 100.0M.
本頁載明的有效日期2025-02-10
來源檔案 · sha256variants/faulty.pdf · c2bc88a6fe64442b…
03確定性閉合
輸入、檢查與未閉合差額
不呼叫模型、不連網、不讀取時鐘。完整證據集在指定日期得到下列結果；移除必要證據則回覆無法判斷。
輸入 · 日期2025-02-10
輸入 · 頁面p.17 · p.34 · p.58 · p.73
C-01 · 已閉合額度組成
TWD 80.0M + TWD 20.0M = TWD 100.0M
C-02 · 已閉合觀察基準日的條件狀態
動工證明截至 2025-02-10 記載為尚未取得。證據支撐的可動用金額 = TWD 100.0M − TWD 20.0M = TWD 80.0M
C-03 · 未閉合差額文件載明與證據支撐的可動用金額
文件載明 TWD 100.0M − 證據支撐 TWD 80.0M = TWD 20.0M
未閉合差額TWD 20.0M — 連同來源定位呈現，不歸因、不判定責任
無法判斷
- p.34 之後是否有文件取代該可動用資金說明；證據集中沒有取代紀錄。
- 動用條件表（p.58）之後是否修訂；該頁本身未載有效日期。
- 案卷是否完整。閉合只處理已提供的證據，無法看見從未提供的文件。
決策邊界
這是證據觀察，不是授信、付款、法律或工程結論；最後由具名責任人決定。
缺席證據保持明示，永遠不會被轉成通過。
04對照案例
量測工具必須分得出三種結果
指定範圍內一致
相同結構下，80.0M 可動用與 20.0M 附條件能互相閉合。結果只說指定範圍未見差額，不宣稱整份文件無誤。
sha256 af45a99a05bf8f711f23b23bd6bd2d61846cb860ed2fc79c07c69e9f3a65091d
關鍵證據不足
必要條件事實缺席，結果只能是無法判斷，既不是發現差額，也不是整案無虞。
sha256 d8aeaf2235923fe71a504ed8a94129cc3b8b20edf3eece565877b5feeca1b7fa
每個引用定位都要回查實體頁面；沒有證據定位的答案不計入。
05適用範圍
這份紀錄能建立什麼
固定合成案例可以連回頁碼、逐字引文與檔案雜湊。●範圍
公開閉合模組能以確定性方式區分未閉合差額與無法判斷。●範圍
這份紀錄不代表真實專案成效，也不產生自主決策。●範圍
完整的外部重驗仍需要公開案卷與原始碼。●範圍
06重新查驗
現在可以檢查什麼
本頁可直接重算金額並核對節錄；完整重驗還需要案卷與原始碼。
- 重算金額。 條件尚未完成：核准 100.0M − 附條件 20.0M = 證據支撐 80.0M；文件載明 100.0M，因此未閉合差額為 20.0M。
- 確認檔案身分。 公開案卷可取得時，以本頁 sha256 核對檔案。
- 核對每個定位。 打開 p.17、34、58、73，逐一比對實體頁面與引文。
- 重新執行模組。 相同證據集與日期，必須重現相同結果。
回到互動案例↑