Pactbeamworking name

Before anyone relies on a construction-finance figure, show the evidence behind it.

An evidence layer for owner-side development, construction-finance and project-controls teams.

Trace figures, conditions, dates and source pages before a commitment is relied on. Pactbeam runs deterministic Closure on a stated date and surfaces the Unclosed Delta — or says Cannot Infer. The accountable person still decides.

Request a 20-minute fit checkInspect the proof

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

by Xylex Digital Technology Co., Ltd. · Taiwan

Closure Workbench · funds-availability-v1

Synthetic demo
Choose a case preset

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.

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.

02The question

A figure can be located, arithmetically consistent, and still unsupported on the observation date.

That third property lives across documents, dates and conditions rather than on any single page. The two paths below do the same review; they differ in what remains available for re-checking.

StepA typical review pathThe Pactbeam evidence path
Locate the figureSearch the file, ask a colleague, or remember where it was.Source sha256, physical page and verbatim quote. No locator, no entry.
Check the arithmeticRecompute in a spreadsheet, once, by whoever is reviewing.Same inputs and date, same result — re-runnable months later.
Bind it to a dateCoverage can stay implicit; the figure is read as current.The observation date is explicit. Undated evidence cannot support a dated answer.
When evidence is missingA gap can be read past without anyone deciding to accept it.Cannot Infer, plus the smallest question that would resolve it. Skipped is never pass.

03Three product principles

One system, three commitments.

  1. Evidence Locator

    Every material figure resolves to a source-file sha256, a physical page and a verbatim quote. No locator, no result.

  2. Closure

    A fixed check over located evidence: no model call, no network, no clock. Same inputs and date, same outcome.

  3. Cannot Infer

    When required material is absent, the system stops and asks the smallest question that would resolve it.

  4. The accountable person decides

    Nothing here confirms a field, releases funds or concludes. Software reconciles; a named person confirms and decides.

04Demo scope

A live synthetic case

This workbench demonstrates the evidence path with synthetic documents. The full case identity and limits are recorded once on the proof page.

Open the proof record

05One bounded case

Start with one funding-commitment window.

A small, written scope makes the work useful without asking a first counterparty to adopt a platform.

  1. 01One evidence question — One funding-commitment window, not a platform rollout.
  2. 02One observation date — Every figure is checked as of that date.
  3. 03One admissible document set — Agreed before reading; nothing outside it enters the result.
  4. 04One inspectable Packet — Locators, unclosed deltas, cannot-infer items and follow-up questions.
  5. 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.

Request a fit check

Or send it yourself: your mail appGmailOutlook

Sending posts the fields above to this site’s host, which forwards them to us. Gmail and Outlook open the draft at Google or Microsoft; your mail app and Copy keep it on your machine. Or write directly to hello.xylex@gmail.com.