MJos Predictive Model | First manifestation of the Bangel Language
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
80
TEAL-RERUN-02-B004 | SCOPED_EXECUTION_VERIFIED
TR-PINK-F-059 / Bounded Pearl acoustic simulation
adjustment
IF
Invoke F-059 with exactly these inputs: frequency: Real, target: Real, step_limit: Real, minimum: Real,
maximum: Real. Real values use finite decimal text; null remains unknown.
HOW
Source expression: f_next=clip((2/3)f+(1/3)f_target,f-df_max,f+df_max,f_min,f_max). Current Bangel
expression: math.min(math.min(maximum, frequency + step_limit), math.max(math.max(minimum,
frequency - step_limit), (2.0 * frequency + target) / 3.0)). Require every input to be known. Require minimum
>= 0.0 and maximum >= minimum and frequency >= minimum and frequency <= maximum and step_limit
>= 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 {"frequency": "90", "target": "120", "step_limit": "5", "minimum": "80", "maximum": "100"};
expected 95. 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
frequency
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. 139,140; D012 pp. 23,24
Evidence: evidence/rerun/pink/F-059.json