Source: https://guthlabs.ai/docs/instruments/great-lapse-rate-adiabatic-cooling/implementation/

instrument implementation / implementation-contract

# Great Lapse Rate / Adiabatic Cooling implementation

A source-bound implementation contract for Great Lapse Rate / Adiabatic Cooling; deployment and executable qualification remain separate.

Status: **VERIFIED_CLEAN**Lifecycle: **implementation-contract**

## 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-016

**Effect**: Computation or source lookup only

## Input and validation requirements

The extreme altitude input produces -Infinity through JavaScript floating-point overflow instead of a rejected or physically meaningful temperature. The signed-altitude probe also exposes a potentially severe convention-dependent result.

## 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": {
    "starting_temp_C": 12,
    "altitude_change": 1500,
    "altitude_unit": "m",
    "mode": "dry"
  },
  "expected_outputs": {
    "resulting_temp_C": -2.7
  },
  "working": "Convert altitude: 1500 m ÷ 1000 = 1.5 km. Cooling = 9.8 °C/km × 1.5 km = 14.7 °C. Resulting temperature = 12 °C − 14.7 °C = −2.7 °C."
}
````

## Other records

[01**Overview**](<https://guthlabs.ai/docs/instruments/great-lapse-rate-adiabatic-cooling/>)[02**Mechanism**](<https://guthlabs.ai/docs/instruments/great-lapse-rate-adiabatic-cooling/mechanism/>)[04**Qualification**](<https://guthlabs.ai/docs/instruments/great-lapse-rate-adiabatic-cooling/qualification/>)

## 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`