Weighted-height boundary review

This directory supports the review of exactly two result units:

1. the repaired parity-comb separation (FPRD-T72);
2. the unambiguous height dichotomy and ambiguity-two min-count boundary (FPRD-T73/T74).

Run:

python3 audit_weighted_height_boundaries.py > review_weighted_height_output.json

The audit independently checks the parity-comb horizon quotient and fixed-gauge formulas for k=3,...,10, the clamped min-count tracker for every binary word through horizon 14, exact state-distinguishing suffixes, the sharp N=1 boundary, a classical unary unambiguous/nonsequential control, and the global length-shift relation between max-count and min-count. Finite checks corroborate the written proofs; they do not replace them or establish novelty.