diff --git a/assertions/stoch_skip_witness.json b/assertions/stoch_skip_witness.json new file mode 100644 index 0000000000..044a169e7e --- /dev/null +++ b/assertions/stoch_skip_witness.json @@ -0,0 +1,19 @@ +{ + "id": "W-107-G", + "wave": 44, + "freeze_date": "2027-02-15", + "claim": "Stochastic time-skip variant of TTIHP27a degrades 3-suite averaged accuracy by <= 2.5 pp vs W43 INT2-activation baseline at identical weights, temperature 0.0, deterministic seeds.", + "skip_predicate": "cos_sim(act_t, act_{t-1}) >= 0.94 AND theta_phase == OFF", + "theta_freq_hz": 7, + "theta_period_ps": 142857143, + "theta_anchor": "f_gamma = phi^3 * pi / gamma (Sacred ROM)", + "bio_mapping": "hippocampal-theta-7Hz (dentate-gyrus pacemaker)", + "reuses_opcodes": ["0xE7 DFS", "0xEC DROWSY_RET", "0xEB SPEC_EXIT"], + "new_l1_opcodes": [], + "new_l2_microcode": ["L2_DG_THETA_SKIP_GATE"], + "falsifier": "If 3-suite averaged accuracy delta > 2.5 pp at freeze_date, W-107-G is REFUTED and W44 must be rolled back.", + "honest_lane": "R5", + "anchor": "phi^2 + phi^-2 = 3", + "doi": "10.5281/zenodo.19227877", + "silicon_vectors": ["S-185", "S-186", "S-187", "S-188", "S-189", "S-190", "S-191", "S-192"] +}