Result review evidence: causal tracks and weighted height

This directory contains a dependency-free independent checker for the review of FPRD-D30/T68/T69 and FPRD-T70/T71.

Run:

python3 review_prequery_height.py

The checker reconstructs the even-palindrome survivor recurrence, causal-poset chain-cover equality on finite controls, the online width-two adversary, selector spacing, the exact late-INDEX frontier, the sharp raw/canonical height family, the pointwise hostile example, and the integer cycle-mean gauge equality on all displayed weighted triangles. The written arguments on the result pages remain the proofs; finite computations are corroboration and boundary tests.