Page actions
instrument mechanism / verified-clean
Purchasing Power Parity (PPP) Comparator mechanism
The inspectable method record for Purchasing Power Parity (PPP) Comparator, kept separate from implementation and qualification.
Model scope
The core arithmetic is standard under the stated local-currency-per-international-dollar convention. The instrument cannot receive an unconditional PASS until the required World Bank series and year are made explicit inputs or fixed configuration, and the comparison-note behavior is defined. The two United States vectors use the exact widely memorized international-dollar reference entry of 1.000.
- The ratio formula is conditionally correct only when both PPP conversion factors use the same year, PPP concept, and unit convention of local-currency units per international dollar: target_amount = base_amount × target_factor ÷ base_factor.
- The specification does not identify which World Bank PPP series is required, such as GDP PPP versus private-consumption PPP; these are different datasets and can produce different results.
- The year is not an input, although PPP factors are year-dated and must be compared within the same year.
- The output 'comparison note' has no defined algorithm or required content.
- The formula assumes amount is denominated in the base country's local currency and produces an amount in the target country's local currency at PPP; this is not a market-exchange-rate conversion.
Units and conventions
- PPP conversion factors are local currency units per international dollar.
- Both factors use the World Bank ICP 2021 GDP PPP series, indicator PA.NUS.PPP, and values are treated as the displayed table values.
- The input amount is in the base country's local currency; the output PPP-adjusted amount is in the target country's local currency.
- The comparison is a cost-level comparison, not an individualized investment, tax, legal, or purchasing recommendation.
- Country names identify the currencies used: USD for the United States, INR for India, and CNY for China.
Inspectable vector
One of 4 source-bound review vectors:
{
"inputs": {
"amount": 100,
"base_country": "United States",
"target_country": "India",
"year": 2021,
"ppp_series": "GDP PPP",
"amount_currency": "USD"
},
"expected_outputs": {
"ppp_adjusted_amount": 2256.5,
"output_currency": "INR",
"comparison_note": "At 2021 GDP-PPP price levels, USD 100 in the United States corresponds to approximately INR 2,256.50 in India; this is not a market exchange-rate quote."
},
"reference_data": {
"base_country": "United States",
"base_ppp_conversion_factor_lcu_per_international_dollar": 1,
"target_country": "India",
"target_ppp_conversion_factor_lcu_per_international_dollar": 22.565,
"source_convention": "World Bank ICP 2021 GDP PPP, indicator PA.NUS.PPP; displayed World Bank table values; United States factor 1.000 is the standard international-dollar reference entry."
},
"working": "PPP-adjusted amount = amount × (target factor ÷ base factor) = 100 USD × (22.565 INR/international dollar ÷ 1.000 USD/international dollar) = 100 × 22.565 = 2,256.5 INR."
}Failure boundary
BREAK_CLAIMED · SELF_FLAGGED
The specification provides no explicit validation behavior for a zero base PPP factor, yet the formula becomes undefined through division by zero. It also leaves amount denomination, sign handling, and country-direction conventions implicit. The formula-branch probe finds no legitimate branch in the stated model; an implementation must not invent one at the factor-ratio parity point.
Other records
Sources and evidence
These pointers bind the page to evidence. They do not grant authority or collapse verification into deployment.
VERIFIED_LEDGER.jsonevidence-tranche7/tranche7-results.jsonBOUNDARY_HAZARD_CATALOG.json