Geothermal Gradient / Depth-Temperature implementation

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

verified-clean

Evidence ID

t5-100

Effect

Computation or source lookup only

Input and validation requirements

An extreme finite-looking input produces Infinity through numeric overflow, and the default-gradient branch cannot produce a unique expected value because the exact default is unspecified. Negative-depth interpretation also yields materially different results under plausible conventions.

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 sample below is evidence for interface and validation tests, not a production implementation.

{
  "inputs": {
    "surface_temperature_C": 12,
    "depth_km": 0,
    "gradient_C_per_km": 25
  },
  "expected_outputs": {
    "temperature_at_depth_C": 12
  },
  "working": "T = T_surface + gradient × depth\nT = 12 + 25 × 0\nT = 12 + 0\nT = 12 °C"
}

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