TR-PINK-F-093 / Teal / Review draft

Observed gas-height predictor

Terminology revised · September 12 evidence

Later individual Teal rerun. The reported execution status is historical and is not a new test result.

TEAL LIBRARY RERUN  |  12 SEPTEMBER 2026  |  Michael Patrick Bangel
114
TEAL-RERUN-02-B005 | SCOPED_EXECUTION_VERIFIED
TR-PINK-F-093 / Observed gas-height predictor
IF
Invoke F-093 with exactly these inputs: height: Real, velocity: Real, acceleration: Real, dt: Real, cone_height:
Real. Real values use finite decimal text; null remains unknown.
HOW
Source expression: h_hat=clip(h+v*dt+0.5*a*dt^2,0,H_C). Current Bangel expression:
math.min(cone_height, math.max(0.0, height + velocity * dt + 0.5 * acceleration * dt * dt)). Require every
input to be known. Require cone_height > 0.0 and height >= 0.0 and height <= cone_height and dt >= 0.0.
THEN
Emit the scoped calculation result. Missing inputs produce their specific PINK_MISSING_* HOLD; failed profile
checks produce PINK_DOMAIN. A false numeric predicate can occur in a PASS calculation receipt; it is not
permission.
CURRENT EVIDENCE
Fixture inputs {"height": "4", "velocity": "3", "acceleration": "2", "dt": "2", "cone_height": "10"}; expected 10.
Result matched through Bangel, admitted JP, the Bangel API, with validated receipt outputs. 5 missing-input
cases and 1 supplied domain cases passed.
SOURCE DIMENSION
length
REMAINING REQUIREMENT
Complete the source-defined measurement/evidence contract, units and calibration bindings. Native C# and Hagar formula-ID
bindings remain unverified in this rerun.
SOURCE REFERENCES
D006 pp. 207,208; D012 pp. 91,92
Evidence: evidence/rerun/pink/F-093.json

Publication is pending owner review. White papers are excluded.