Guth
NewsDocs
Page actions
View as Markdown ↗
Explore MCP tools ↗

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.

Status: VERIFIED_CLEANLifecycle: verified-clean

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.json
  • evidence-tranche7/tranche7-results.json
  • BOUNDARY_HAZARD_CATALOG.json