DATA INPUT
minimal · {"ell":[…],"Dl":[…],"channel":"TT"} or table form — no file loaded —
{"edges":[b0,b1,…,bm]} — fixed before run — no file loaded —
PROTOCOL (FROZEN)
operatorTL (ℓ ≤ L)
baseline cutoff
eval range
bin edges B
feature qj(L)mean f(ℓ) in bin j under cutoff
Σord(L)πL ranking permutation
σP(L)maxj |qj(L) − qj(L0)|
Δkq(k)(L0) − q(k+1)(L0) baseline sorted
V(L){k: Δk ≤ 2σP(L)}
ν(V(L))path matching (no adjacent k)
inv(L)Kendall inversion count vs baseline
falsifierinv(L) > ν(V(L))
descentΣord constant on interval
tie_rulestable_index (frozen)
rank_scopecommon_items_only (frozen)
INVARIANT STATUS
INTERFACE — OPERATOR — BASELINE — FALSIFIER — BINNING-INDEP OFF
COMPUTATION LOG
Ready. Load spectrum JSON + bin edges JSON, then press RUN Σ.
Overall
awaiting run
Descent Status
Boundary Activations
ν(V(L)) > 0
Primary Falsifier
inv(L) > ν(V(L))
Σ PANEL — CURRENT L L = —
Run chamber to populate
DESCENT & STRATIFICATION
Run chamber to populate
BASELINE GAP SPECTRUM Δk
Run chamber to populate
RANK COMPARISON πL vs πL0
Run chamber to populate