Falsify → robust: Bonn S2 bright line robustly passed (seed + multi-null)#86

Merged

neuron7xLab merged 12 commits into

mainfrom

falsify/s2-robustness

Jun 25, 2026

Commits on Jun 24, 2026

Falsify + calibrate S2: boundary pass (power robust, specificity seed-sensitive)

neuron7xLab
and
claude
committed
Calibrate S2 specificity (seed-averaged): NOT robustly below 0.05 -> bright line not robustly crossed

neuron7xLab
and
claude
committed
predeclare S3 seed-averaged re-confirmatory (robust specificity gate, FROZEN before run)

neuron7xLab
and
claude
committed
PI-grade methodology: formal G2 decision rule + design power + multi-null robustness (predeclared)

neuron7xLab
and
claude
committed
P0+P2: downgrade canonical truth to BONN_NOMINAL_S2_PASS_BUT_G2_NOT_ROBUST + statistical-claims gate

neuron7xLab
and
claude
committed
NIST/mission-grade hardening: risk register + fail-closed table + hostile-review + mission-check

neuron7xLab
and
claude
committed
S3 runner serialization fix + preliminary reconstruction (fail-closed: state NOT flipped)

neuron7xLab
and
claude
committed
Integrate authoritative S3: seed-robust AR-null PASS (reproduced) -> MULTINULL_PENDING

neuron7xLab
and
claude
committed
Add multi-null robustness runner (final gate: AR/IAAFT/phase-randomized)

neuron7xLab
and
claude
committed

Commits on Jun 25, 2026