Synthetic example

Drawdown evidence

Subject: Synthetic case · land facility drawdown
Period: Approved 2024-10-07 · packet effective 2025-02-10
Data version: Example packet · 2025-02-10

Open the source page for an amount, adjust the observation date or document set, then run Closure.

Figures

Drawdown evidence
Item	Value	Citations
Facility decomposition
	TWD 100.0M
	TWD 80.0M
	TWD 20.0M
Condition status
	Not obtained
Figure carried forward
	TWD 100.0M

Select a row to see what it cites.

Observation date and document set

Choose a case preset

Observation date

2024-10-07Facility approved — No availability statement is effective on this date.2025-02-10Stated observation date — Both the availability statement and condition status are effective on this date.2025-03-15Planned construction start — A planned date is not an occurred event.2025-06-30Later date — No page makes a statement effective on this date.

Unclosed Delta TWD 20.0M

Unclosed delta

as of 2025-02-10 · pages p.17 p.34 p.58 p.73

The figure carried forward is not supported by the evidence on this date. The difference is reported as an Unclosed Delta with its locators.

C-01Facility decompositionClosedTWD 80.0M + TWD 20.0M = TWD 100.0M
C-02Conditionality at the observation dateClosedCondition (start-of-construction certificate) recorded as not obtained on 2025-02-10. Supported availability = TWD 100.0M − TWD 20.0M = TWD 80.0M
C-03Stated availability against supported availabilityUnclosed deltaStated TWD 100.0M − supported TWD 80.0M = TWD 20.0M

What this run cannot infer (3)

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.

This is an evidence observation, not a credit, payment, legal or engineering conclusion. A named person decides. Full proof record.

Scope of this scenario

The packet is fully synthetic. It is not customer data and not a field record.
A complete evidence set still produces an Unclosed Delta here. That is the case, not a defect in the run.
Closure reports evidence. It confirms no field, releases no funds and concludes nothing.

Technical details

Synthetic fixture: funds-availability-v1
Source packet: variants/faulty.pdf · 80 pages · faulty variant

The language switch carries the current scenario, selection, pane and reading position through this tab's session storage. Where a browser refuses that storage, the other language opens at this scenario's starting state and says so.

Full proof record Closure Workbench

+Funding evidence check · live demo

An approved facility is not always money you can draw today.

Reviewing construction funding? Bring the amount, drawdown conditions and source pages into one evidence view.

Pactbeam checks the figures against the evidence on a stated date and shows the Unclosed Delta or Cannot Infer. Explore the synthetic example. A named person still makes the funding decision.

Talk through one figure · 20 minutes Inspect the proof

The workbench is live. Pick a preset, run Closure, open a locator.

Closure Workbench · funds-availability-v1

Synthetic demo

Full packetMissing p.73Later dateManual

Evidence set · 80-page packet

Every figure carries a source hash, a physical page and a verbatim quote. No locator, no result.

Closure inputs · deterministic, no model call

A · Full packet

All four pages present, on the evidenced observation date.

Observation date 2025-02-10 · pages p.17 p.34 p.58 p.73

Explore manually

Observation date

Withhold a required page

The result is bound to exactly these inputs. Running again reproduces it identically.

Unclosed Delta TWD 20.0M

Unclosed delta

as of 2025-02-10 · pages p.17 p.34 p.58 p.73

The figure carried forward is not supported by the evidence on this date. The difference is reported as an Unclosed Delta with its locators.

C-01Facility decompositionClosedTWD 80.0M + TWD 20.0M = TWD 100.0M
C-02Conditionality at the observation dateClosedCondition (start-of-construction certificate) recorded as not obtained on 2025-02-10. Supported availability = TWD 100.0M − TWD 20.0M = TWD 80.0M
C-03Stated availability against supported availabilityUnclosed deltaStated TWD 100.0M − supported TWD 80.0M = TWD 20.0M

What this run cannot infer (3)

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.

This is an evidence observation, not a credit, payment, legal or engineering conclusion. A named person decides. Full proof record.

+One bounded case

Which funding figure is hardest to check?

Start with a 20-minute conversation about one amount and the decision it needs to support. No case documents are needed for the first conversation. If there is a fit, we agree the scope below before any document review.

01One evidence question — One funding-commitment window, not a platform rollout.
02One observation date — Every figure is checked as of that date.
03One admissible document set — Agreed before reading; nothing outside it enters the result.
04One inspectable Packet — Locators, unclosed deltas, cannot-infer items and follow-up questions.
05One named decision owner — The Packet informs the person; it never releases, certifies or pays.

First agree the question, date and admissible documents. Then replay the evidence and deliver the Packet.