
teal papers / BarTide collection
Gas mass-flow from height
TR-PINK-F-092
MJ Physics Engineering | Bangel Language | MJos Operating System
Owned and operated by Michael Bangel | Clearwater, Florida
Updated collection edition: BarTide branding and navigation added September 26, 2026. The original paper text below retains its historical scope. Inclusion does not claim its research is implemented in BarTide.
Terminology revised ยท September 12 evidence
TEAL LIBRARY RERUN | 12 SEPTEMBER 2026 | Michael Patrick Bangel
113
TEAL-RERUN-02-B005 | SCOPED_EXECUTION_VERIFIED
TR-PINK-F-092 / Gas mass-flow from height
IF
Invoke F-092 with exactly these inputs: density: Real, area: Real, height_rate: Real, volume: Real,
density_rate: Real. Real values use finite decimal text; null remains unknown.
HOW
Source expression: m_dot=rho*A(h_g)*h_dot_g+V_C(h_g)*rho_dot. Current Bangel expression: density * area
* height_rate + volume * density_rate. Require every input to be known. Require density > 0.0 and area > 0.0
and volume >= 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 {"density": "2", "area": "3", "height_rate": "4", "volume": "5", "density_rate": "-1"}; expected
19. 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
mass/time
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. 205,206; D012 pp. 89,90
Evidence: evidence/rerun/pink/F-092.json
Original references: F-092