Free Laboratory · illustrative worked example
Sufficient assets but insufficient available cash
Do redemption proceeds arrive before the payment deadline?
This experiment changes declared financial assumptions and calculates their consequences. The starting figures are illustrative; the model does not inspect your accounts or require a live market feed. Run the question free, compare an alternative and inspect the calculation receipt.
Run this experimentWhat the published starting values calculate.
Largest funding deficit: 2,000,000.00 USD.
Assets retain gross illustrative value until redemption; only settled net proceeds can meet the obligation. No emergency borrowing is assumed.
| Calculated outcome | Value and unit |
|---|---|
| Largest funding deficit | 2,000,000.00 USD |
| Cash arrival day | 5 days |
| Redemption proceeds after haircut | 4,000,000.00 USD |
A funding deficit represents unmet obligations under this fixed schedule; no borrowing facility is inferred. A zero deficit means only that the declared schedule passes the stated calculation.
The illustrative date origin is ; the recorded seed is 42 and the model is yieldguard-experiments-1.2.0. Dates and values are scenario inputs, not current observations. Readable percentages may be rounded; the evidence file preserves the kernel values.
Inspect the static calculation receipt
- Receipt identity
a6d6340a90b730aec13aae5aa83ca2381b73868f06bb8f6d08855740718cd978- Input hash
fdd177dde48ddbd4b54e38e6c5a43532135828ee8253d39b968c3f47982c090a- Evidence class
- Illustrative assumptions; not observed customer evidence.
- Authority
- A content-addressed request and model-context record. No external signature, output attestation, independent assurance or production authority is established.
Starting assumptions and units.
| Assumption | Starting value |
|---|---|
| Initial cash | 1000000 USD |
| Redeemable asset value | 4000000 USD |
| Settlement day | 5 days |
| Redemption haircut | 0 % |
| Payment due | 3000000 USD |
| Payment day | 3 days |
| Horizon | 14 days |
What the result establishes and leaves open.
The calculation is conditional on declared input values, model conventions and horizon. Reproducing the result checks the disclosed calculation path; it does not establish forecasting accuracy or the suitability of a real treasury decision.
- Illustrative user assumptions; no live market data or calibrated forecast.
- Results apply only to the declared mechanisms, horizon and search bounds.
- No market refresh, AI calculation, trade execution or forecast calibration.
- Receipts are content-addressed local calculation records, not externally signed attestations.
- Deterministic calculation: the seed is recorded for the common receipt contract; this experiment samples no random disturbances.
- Illustrative assumptions; no live data or forecast calibration.
The next useful question.
How much payment capacity survives a shared institution outage?
Test Two accounts sharing one institutionKeep a recurring question under review.
In the Laboratory, edit the assumptions and compare the result. Planned Macrovision would connect approved organisational evidence, material changes, assigned exception review and preserved decisions. AI prepares and explains; approved models calculate; your team decides.
Planned — not accepting paid engagements. The public Macrovision walkthrough follows a synthetic late-receipt case. The walkthrough demonstrates intended work and does not activate customer monitoring or imply that every Lab question is a supported paid workflow.
Financial assumptions are not automatically sent into an enquiry, analytics or a shared result URL. Any later transfer to a hosted workspace must be explicit.
YieldGuard Ltd, company number 16914415, registered in England and Wales. Technology and research; no payment, trading, custody or discretionary financial execution.