Free Laboratory · illustrative worked example
Smallest searched shock causing failure
At what haircut on this finite grid does available liquidity fail to cover the obligation?
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: 0.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 | 0.00 USD |
| Redemption proceeds after haircut | 950,000.00 USD |
| Minimum available cash | 100,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
04cbbc655988f28ed3364a8db329b45be2c803ff6016acccbd55e50970e1d55e- Input hash
306c2c098e4acc0d56a98c6cb16906ce8b294b591c4d0326ceb4fa033503b752- 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 | 100000 USD |
| Redeemable assets | 1000000 USD |
| Asset haircut | 5 % |
| Payment due | 950000 USD |
| Settlement day | 2 days |
| Payment day | 5 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.
Do redemption proceeds arrive before the payment deadline?
Test Sufficient assets but insufficient available cashKeep 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.