-
Notifications
You must be signed in to change notification settings - Fork 0
Negative results
Jusang Lee edited this page Jun 5, 2026
·
13 revisions
Auto-synced 2026-06-05 UTC. 34 entries.
Source: Docs/status/NEGATIVE-RESULTS.md (raw). R- = retracted result; AUDIT- = audit-flagged (retained as warning).
| ID | Kind | Summary |
|---|---|---|
| AUDIT-2026-06-04-G4-Kernel-Convention-Offset | AUDIT- | Date: 2026-06-04 |
| R-2026-05-26-Math410-AddA-PathwayB-SO4-REFUTED | R- | Date: 2026-05-26 |
| R-2026-05-26-Math411-AddA-Stueckelberg-Direct-REFUTED | R- | Date: 2026-05-26 |
| R-2026-05-26-Math411-AddB-PathwayA-SO10-INSUFFICIENT | R- | Date: 2026-05-26 |
| R-2026-05-26-Math412-AddA-Treh-INTERIM-NEGATIVE | R- | Date: 2026-05-26 |
| R-2026-05-26-Math412-AddB-nuR-Stability-INTERIM-NEGATIVE | R- | Date: 2026-05-26 |
| R-2026-05-26-Math409-AddH-CompactnessSignError | R- | Date: 2026-05-26 |
| R-2026-05-11-Math82-AddH-BCC-Vacuum-Refuted | R- | Date: 2026-05-11 |
| R-2026-05-11-Math383-Sec3-4-Arithmetic-and-SMA-Hierarchy-Reversal | R- | Date: 2026-05-11 |
| R-2026-05-09-Math372-Sign-Error-Claim-Retraction | R- | Date: 2026-05-09 (same day as Math372 creation; retracted within hours of source-code verification). |
| AUDIT-2026-05-02-Wave7-Aux-Epoch-Overclaim | AUDIT- | Date: 2026-05-02 (within 1 day of Math310-AddA wording correction). |
| R-2026-04-30-Math242-c2-misquote-Pillar4-T6-rollback | R- | Date: 2026-04-30 — Turn 16 (Math245 formal audit-rollback consolidation). |
| AUDIT-2026-04-29-Math218-FailAsProof | AUDIT- | Date: 2026-04-29 — FIFTH audit-rollback in the 2026-04-28 / 2026-04-29 cluster. |
| AUDIT-2026-04-29-Math216-AddB-AuditFlagged | AUDIT- | Date: 2026-04-29. |
| AUDIT-2026-04-29-Math217-AuditFlagged-OneLoopStrongDraft | AUDIT- | Date: 2026-04-29. |
| AUDIT-2026-04-28-Math213-Math211-FALSIFIED-Math212-demoted | AUDIT- | Date: 2026-04-28 (late+8) — THIRD audit-rollback of 2026-04-28. |
| R-2026-04-28-Math209-Math203-c1-Forcing-Falsified | R- | Date: 2026-04-28 (late+2) |
| AUDIT-2026-04-28-Math208-Cluster-Rollback | AUDIT- | Date: 2026-04-28 (late reviewer audit; SECOND audit-rollback of the day) |
| AUDIT-2026-04-28-Math200-Proxy-Defect | AUDIT- | (downgrade of overreach R-tag from earlier today) |
| R-2026-04-27-Math181-Scenario-B-Rescue-Unproven | R- | Math181 "three independent paths" do not prove U(1)_χ flatness; Scenario B rescue claim DOWNGRADED to unproven conjecture |
| R-2026-04-27-Math162-Bundle-SO10-Spinor-Index | R- | Pillar 4 sub-task 2 falsified: canonical SU(5) branching does not yield 16 chiral zero modes |
| R-2026-04-27-Math173-AuditMissDegreeError | R- | Math173 R3 cross-turn audit ACCEPTED Math171 despite a degree-arithmetic error in §3.3 |
| R-2026-04-26-Math151-InflationaryBranch | R- | Math151 mapping of Brazovskii |
| R-2026-04-26-Math160-FPSignError | R- | Math160 supplementary lattice script produced spurious all-negative eigenvalues from a Laplacian sign-convention error; corrected at audit |
| R-2026-04-26-Math166-IndexByAnsatz | R- | Math166 Atiyah-Singer index value of 16 was asserted by ansatz, not derived from first principles |
| R-2026-04-26-Math160-BerrySignatureTrivial | R- | Math160 TECT-specific Berry-phase signature is empty on the simply-connected BCC moduli space |
| R-2026-04-26-Math148-FalsePositive | R- | Math148 chiral-anomaly closure is a false positive; replaced by Math157 rigorous trace method |
| R-2026-04-26-Math149-RouteIndependence | R- | Math149 ℏ-matching two routes are not independent; structural tautology not a cross-check |
| R-2026-04-26-Math150-AuditMiss | R- | Math150 V1-V2 cross-turn audit failed to catch the Math148 false positive and Math149 route non-independence |
| R-2026-04-26-Math155-Optimistic-Bias | R- | Math155 "internally rigorous and unobstructed" synthesis is over-claim |
| R-2026-04-24-RoundOverclaim | R- | Three Round 9 (2026-04-24) pillar-closure declarations retracted by reviewer audit |
| R-2026-04-20-01 | R- | Math49c-rigorous-v2 spin-statistics argument retracted as circular (v3 replacement already in tree) |
| R-2026-04-15-01 | R- | Legacy target |
| R-2026-04-15-02 | R- | v3.0 solver run with seed=17 (silent GL regime) |