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

instrument mechanism / verified-clean

Real GDP / GDP Deflator Converter mechanism

The inspectable method record for Real GDP / GDP Deflator Converter, kept separate from implementation and qualification.

Status: VERIFIED_CLEANLifecycle: verified-clean

Model scope

The core real-GDP conversion formula is standard under the stated index convention. The specification needs the inverse deflator formula, an explicit implied-inflation definition, period/frequency handling, and validation rules before the full claimed instrument can be verified. The educational-only label is appropriate.

  • real_GDP=nominal_GDP/(deflator/100) is correct only when deflator is an index level with 100 as the base-period value.
  • The claimed ability to solve the deflator lacks an explicit inverse formula: deflator=(nominal_GDP/real_GDP)*100.
  • The claimed implied-inflation output has no specified formula. The standard interpretation is inflation=((current_deflator/previous_deflator)-1)*100, but the required periods and frequency are unspecified.

Units and conventions

  • Nominal GDP and real GDP must use the same currency and scale, such as both USD or both billions of USD.
  • The deflator is a dimensionless index level, not a percentage rate; 100 represents the base period.
  • The real-GDP output retains the nominal-GDP currency and scale.
  • Implied inflation is assumed to be the percentage change in the GDP deflator between two specified periods; it cannot be labeled annual unless the periods are one year apart.

Inspectable vector

One of 4 source-bound review vectors:

{
  "inputs": {
    "nominal_GDP": 2400000000000,
    "deflator_index": 120,
    "currency": "USD"
  },
  "expected_outputs": {
    "real_GDP": 2000000000000,
    "currency": "USD"
  },
  "working": "deflator/100 = 120/100 = 1.2\nreal_GDP = 2,400,000,000,000 / 1.2\nreal_GDP = 2,000,000,000,000 USD"
}

Failure boundary

BREAK_CLAIMED · SELF_FLAGGED

A zero deflator creates an undefined division and must be rejected. The specification also has no genuine formula branch, and ambiguous ratio-versus-index input can produce materially different results if conventions are not explicit.

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