Currency Converter (Live)

Inspectable records

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