Page actions
instrument implementation / implementation-contract
Currency Converter (Live) implementation
A source-bound implementation contract for Currency Converter (Live); deployment and executable qualification remain separate.
Binding contract
This record describes what an executable surface must bind and validate. It does not claim that a public calculator, package, or production route is deployed.
- Record owner
- Guth Instruments
- Lifecycle
- source-required
- Evidence ID
- live-source boundary
- Effect
- Computation or source lookup only
Input and validation requirements
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.
Required corrections
No binding erratum is attached to this unique-name record. Implementers must still preserve the declared units, domain, and failure behavior.
Inspectable interface fixture
The interface must expose source, freshness, and held state instead of calculating from a nonexistent offline oracle.
Other records
Sources and evidence
These pointers bind the page to evidence. They do not grant authority or collapse verification into deployment.
VERIFIED_LEDGER.json