nx_hairdyn_gate.nx

nx_hairdyn_gate.nx -- GATE: prove the hair chain is a CHAIN, that its plant is DERIVED rather than tuned, and that the measurement which says so cannot pass on hair that does not move. WHAT THIS GATE IS FOR. knowledge/gamefeel_oracle.conf's hair_k_q10 row has never had a plant behind it; the shipping hair was two hand-picked integers driving one point. The teeth below do not assert that hair is right, they MEASURE it: ask the derivation for a frequency, run a free decay, and read the frequency back out with the estate's one ringdown analyser. NO TOLERANCE IS CHOSEN ANYWHERE IN THIS FILE. The frequency teeth compare against the DAMPED prediction (a ringdown cannot measure an undamped frequency) inside the ANALYSER'S OWN resolution, both derived below. The damping teeth assert MONOTONICITY, which needs no tolerance at all -- a stronger property than an equality with a number picked to make it hold. license_tier: ORIGINAL No hw writes (Rule 26).