Source: https://guthlabs.ai/docs/instruments/currency-converter-live/
instrument / source-required
# Currency Converter (Live)
This live-data instrument is held from offline verification. It may ship only with visible source freshness and feed provenance.
Status: **DISPOSED_UNVERIFIABLE_OFFLINE**Lifecycle: **source-required**
## Inspectable records
[01**Overview**Purpose and lifecycle]()[02**Mechanism**Method and assumptions]()[03**Implementation**Binding and validation]()[04**Qualification**Evidence and errata]()
## Ledger state
This live-data instrument is held from offline verification. It may ship only with visible source freshness and feed provenance.
**Area**: Finance/Economics
**Tranche**: disposal-network
**Evidence ID**: offline/source boundary
**Ledger rows**: 1
- requires live network data (tides/FX rates); no offline recompute gate possible — correctness is a data-feed property, not a formula property. Ship only with live-data provenance shown in-app.
## Review findings
No offline formula review exists for this live-data surface.
## Boundary hardening
**BREAK_CLAIMED** · SELF_FLAGGED
The specification has no defined handling for extreme finite inputs, so an amount of 1e308 with rate 100 can overflow to Infinity in ordinary floating-point arithmetic. It also leaves the treatment of negative amounts ambiguous. The live/offline cache branch is workable only if the cached timestamp and stale-data status are shown.
## Errata and corrections
No applied erratum is attached to this unique-name record.
## Inspectable example
No offline example is asserted for this source-required instrument.
## Related workflows
No source-defined multi-instrument workflow membership is recorded.
## Sources and evidence
These pointers bind the page to evidence. They do not grant authority or collapse verification into deployment.
- `VERIFIED_LEDGER.json · DISPOSED_UNVERIFIABLE_OFFLINE`
- `BOUNDARY_HAZARD_CATALOG.json`