BREAKS โ DEFENDED โ CLOSED 2026-07-10 ยท attack A2 (KB ยง1) ยท 496 real feature pairs ร 4 markets ยท 14 blind-spot pairs found ยท advisory dCorr cross-screen added (KB-prescribed; no band) ยท clean 0/3
ฮพ's detection boundary is nโ1/4 โ rate-suboptimal on smooth alternatives (KB ยง1). Monotone smoothness is caught by the binding |ฯ| gate, so the razor-edge claim was: "no real pair with strong smooth NON-monotone dependence sits below ALL binding pair gates (ฮพ < 0.50, |ฯ| < 0.85) โ the cascade never silently false-PASSes strong dependence."
xi_max_pair, identity keys), |Spearman|, |r|ยฒ, and
distance correlation (Szรฉkely V-statistic, cached centered matrices โ KB ยง1's prescribed
higher-power comparator; null scale at n=800 โ 0.035).| Worst examples (of 14) | max dCorr | max ฮพ | max |ฯ| | strong cells |
|---|---|---|---|---|
bar_dispersion_entropy | bar_bartels_rank_vn_ratio | 0.872 | 0.446 | 0.730 | 4/4 |
bar_petrosian_fd | bar_dispersion_entropy | 0.854 | 0.432 | 0.724 | 4/4 |
bar_katz_fd | bar_bartels_rank_vn_ratio | 0.843 | 0.435 | 0.757 | 4/4 |
bar_petrosian_fd | bar_katz_fd | 0.830 | 0.429 | 0.759 | 4/4 |
| โฆ10 more (full list in a2_results.json) โ concentrated in the shipped bar_* complexity family (fractal dims, entropy, bartels, VG-clustering, sign-flux, L-kurtosis): strong smooth curved inter-relationships, exactly KB ยง1's predicted class. | ||||
+ dcorr(x, y) # Szรฉkely V-statistic; even-downsample n=800; memory-safe
+ dcorr_advisory(...) # xi_low_power_note = true when dCorr strong (โฅ0.70)
# while BOTH binding pair gates are quiet
+ aggregate_worst_cell # per cell: dCorr on the vote-driving (argmax-ฮพ) pair;
# rollup: dcorr_worst + note in every candidate verdict
Advisory only โ never a verdict. KB ยง1: "add a higher-power cross-screen (dCorr/HSIC or M-NN ฮพ) as an advisory corroborator โ NOT a new banlist band (that would be meta-eval)." The 0.70 note line is the campaign's evidence standard, explicitly labeled "cut not banlist-authorized." Turning this class into a BAN requires an operator-declared, pre-registered dCorr calibration (07-DECLARATION playbook) โ added to the operator handoff as H7.
| Check | Result |
|---|---|
| 12 blind-spot pairs silent on the full substrate | 12/12 carry xi_low_power_note = true through the probe's own readout |
| 2 pairs v2 flagged as "missed" | read ฮพ_worst = 0.501 on the FULL substrate โ caught as WATCH by the frozen ยงB gate itself โ not silent (v2's oracle demanded a note even where a binding gate had already fired; corrected in v3, honest-triage discipline) |
| Certified-orthogonal anchors (3 frozen negatives) | 3/3 note-free โ the advisory doesn't cry wolf |
| A5 substrate-validity regression ยท ยงB declaration self-test | SURVIVES 7/7 ยท PASS |
| File | What |
|---|---|
| a2_blind_spot_attack.py / a2_results.json | v1 โ 496-pair scan, the 14 breaching pairs, 42 strong-dCorr pairs total. |
| a2_blind_spot_attack_v2.py / a2_v2_results.json | v2 โ probe-path advisory readouts for all 14 + 3 controls (blunt oracle; measurements canonical). |
| a2_blind_spot_attack_v3.py / a2_v3_results.json | v3 โ corrected falsifier (silence AND no note); 0 breaches (final). |
| a2_stderr.log ยท a2_v2_stderr.log ยท a2_v3_stderr.log | Run logs under the 2 CPU / 2 GB scope. |
| regression_tests/test_a2_blind_spot.sh | Permanent regression test โ refreshes measurements (v2), asserts corrected oracle (v3) SURVIVES. |
The last unattacked library item is closed. ฮพ's theoretically-predicted blind spot was found ALIVE in the shipped feature set โ 14 real pairs โ and is now permanently surfaced by a higher-power advisory cross-screen, while the meta-evaluation firewall stays intact (no new band; the ban decision is the operator's, handoff H7). Clean rounds: 0 of 3.
evaluate_pooled positional tie-break default (advisory ฮพ CI path) โ carried from iter 3; last remaining known thread.iter 7 ยท attack A2 ยท verdict BREAKS โ DEFENDED โ CLOSED ยท one atomic commit:
iter 7: A2 low-power blind spot โ BREAKSโDEFENDED ยท append-only.