▨Synthetic case · not a field resultProof record · funds-availability-v1
The record behind the demo.
Case identity, source pages, verbatim excerpts, deterministic checks and controls — in one place.
Synthetic documents only. No customer or field data is used.
01Case identity
What was inspected
Challenge idfunds-availability-v1
Schemasynthetic-long-document-blind-public@1.0.0
Generatorfunds-availability-blind-generator@1.2.0
Synthetictrue — built by us, no customer or field data
Inspected filevariants/faulty.pdf · 80 pages
sha256c2bc88a6fe64442b078a1c35cbc8602d493606f017e532e8843c05409bf4c8bf
Task brief sha2561fcb1931bc1ffb4e4726f0f3d2f9fb4c8e3077e2b5956f358603a5b6ac5eaa3a
Observation date2025-02-10
Required locatorsp.17 · p.34 · p.58 · p.73 — a finding must resolve to at least two physical pages
Oraclesealed outside the repository; commitment hash published, contents not published
Harness run · observedexit 0 · 10 suites · 259 tests · 0 skipped — observed 2026-08-15 in the local worktree
02Verbatim source excerpts
Four pages, quoted as written
The original Traditional Chinese text remains the evidence. Normalized figures and English working translations are displayed beside it.
Interface: English · Source record: Traditional Chinese
The English line is a working translation. The original text remains the evidence.
p.17 · Approved land facility●TWD 100.0M
Original source · ZH-TW
核准額不單獨表示任一時點皆可動用
Document form · ZH-TW
10,000 萬元
Working translation · not the record
An approved amount does not, by itself, indicate that it is drawable at any given point in time.
Effective date stated on the pagenone stated
Source file · sha256variants/faulty.pdf · c2bc88a6fe64442b…
p.58 · Drawable before construction●TWD 80.0M
Original source · ZH-TW
動工前可撥金額 8,000 萬元
Document form · ZH-TW
8,000 萬元
Working translation · not the record
Amount disbursable before construction start: 80.0M.
Effective date stated on the pagenone stated
Source file · sha256variants/faulty.pdf · c2bc88a6fe64442b…
p.58 · Conditional retention●TWD 20.0M
Original source · ZH-TW
條件未成就前處理 不得列為可動用資金
Document form · ZH-TW
2,000 萬元
Working translation · not the record
Treatment before the condition is met: it must not be counted as available funds.
Effective date stated on the pagenone stated
Source file · sha256variants/faulty.pdf · c2bc88a6fe64442b…
p.73 · Construction evidence status●Not obtained
Original source · ZH-TW
動工證明 尚未取得 計畫動工日期 2025-03-15
Document form · ZH-TW
動工證明：尚未取得
Working translation · not the record
Start-of-construction certificate: not yet obtained. Planned construction start date: 2025-03-15.
Effective date stated on the page2025-02-10
Source file · sha256variants/faulty.pdf · c2bc88a6fe64442b…
p.34 · Stated funds availability●TWD 100.0M drawable · TWD 0 conditional
Original source · ZH-TW
當期可動用土地融資 10,000 萬元
Document form · ZH-TW
當期可動用土地融資 10,000 萬元 · 附條件、尚未可動用金額 0 萬元
Working translation · not the record
Land facility currently drawable in this period: 100.0M.
Effective date stated on the page2025-02-10
Source file · sha256variants/faulty.pdf · c2bc88a6fe64442b…
03Deterministic Closure
Inputs, checks and the Unclosed Delta
No model call, network or clock. The complete evidence set on the stated date produces the result below; removing required evidence returns Cannot Infer.
Input · date2025-02-10
Input · pagesp.17 · p.34 · p.58 · p.73
C-01 · ClosedFacility decomposition
TWD 80.0M + TWD 20.0M = TWD 100.0M
C-02 · ClosedConditionality at the observation date
Condition (start-of-construction certificate) recorded as not obtained on 2025-02-10. Supported availability = TWD 100.0M − TWD 20.0M = TWD 80.0M
C-03 · Unclosed deltaStated availability against supported availability
Stated TWD 100.0M − supported TWD 80.0M = TWD 20.0M
Unclosed DeltaTWD 20.0M — reported with its locators, without attributing cause or fault
Cannot infer
- Whether a document later than p.34 supersedes the availability statement. The evidence set carries no supersession record.
- Whether the drawdown-conditions schedule (p.58) was later amended. The page carries no effective date of its own.
- Whether the packet is complete. Closure runs on the evidence placed in front of it; it cannot observe a document that was never supplied.
Decision boundary
This is an evidence observation, not a credit, payment, legal or engineering conclusion. A named person decides.
Missing evidence remains explicit and is never converted into pass.
04Controls
The apparatus must distinguish three outcomes
Clean control
The same structure reconciles 80.0M drawable and 20.0M conditional. The bounded result reports no defect; it does not declare the whole document flawless.
sha256 af45a99a05bf8f711f23b23bd6bd2d61846cb860ed2fc79c07c69e9f3a65091d
Insufficient-evidence control
Required condition facts are absent. The bounded result is Cannot Infer — neither a defect nor an all-clear.
sha256 d8aeaf2235923fe71a504ed8a94129cc3b8b20edf3eece565877b5feeca1b7fa
Quoted locators are checked against the physical page; an ungrounded answer receives no credit.
05Scope
What this record establishes
A fixed synthetic case can be traced to pages, quotes and file hashes.●Scope
The public Closure module deterministically distinguishes Unclosed Delta from Cannot Infer.●Scope
This record does not establish performance on real projects or an autonomous decision.●Scope
Independent end-to-end re-derivation still requires a public packet and source release.●Scope
06Re-check
What can be checked now
The arithmetic and source excerpts are visible here. Full re-derivation also needs the packet and source.
- Recompute the arithmetic. The condition is not met: 100.0M approved − 20.0M conditional = 80.0M supported. The packet states 100.0M, leaving a 20.0M Unclosed Delta.
- Confirm file identity. Match the packet against the sha256 above when the public packet is available.
- Check every locator. Open pp.17, 34, 58 and 73 and match each quote to its physical page.
- Run the module again. The same evidence set and date must reproduce the same result.
Back to the interactive case↑