Tuesday, September 29, 2026

Tier change log

Every change to the tier or rigor of a published claim is public, together with its reason.

Time (UTC)ClaimChangeReason
2026-09-29 07:13:21SGC-0082— → Rejected / rejection—
2026-09-29 07:13:21SGC-0081— → Rejected / rejection—
2026-09-29 07:13:21SGC-0080— → Rejected / rejection—
2026-09-29 07:13:21SGC-0071— → Engineering / engineering—
2026-09-29 07:13:21SGC-0070— → Engineering / engineering—
2026-09-29 07:13:21SGC-0061— → Programmatic / programmatic—
2026-09-29 07:13:21SGC-0060— → Programmatic / programmatic—
2026-09-29 07:13:21SGC-0051— → Lexical / lexical—
2026-09-29 07:13:21SGC-0050— → Lexical / lexical—
2026-09-29 07:13:21SGC-0041— → Interpretive / interpretive—
2026-09-29 07:13:21SGC-0040— → Interpretive / interpretive—
2026-09-29 07:13:21SGC-0030— → Empirical / measurement—
2026-09-29 07:13:21SGC-0023— → Theorem / proof—
2026-09-29 07:13:21SGC-0022— → Theorem / proof—
2026-09-29 07:13:21SGC-0021— → Theorem / proof—
2026-09-29 07:13:21SGC-0020— → Theorem / proof—
2026-09-29 07:13:21SGC-0019— → Theorem / proof—
2026-09-29 07:13:21SGC-0018— → Theorem / proof—
2026-09-29 07:13:21SGC-0017— → Theorem / proof—
2026-09-29 07:13:21SGC-0016— → Theorem / proof—
2026-09-29 07:13:21SGC-0015— → Theorem / proof—
2026-09-29 07:13:21SGC-0014— → Theorem / proof—
2026-09-29 07:13:21SGC-0013— → Theorem / proof—
2026-09-29 07:13:21SGC-0012— → Theorem / proof—
2026-09-29 07:13:21SGC-0011— → Theorem / proof—
2026-09-29 07:13:20SGC-0010— → Theorem / proof—
2026-09-29 07:13:20SGC-0004— → Structural inference / structural—
2026-09-29 07:13:20SGC-0003— → Structural inference / structural—
2026-09-29 07:13:20SGC-0002— → Structural inference / structural—
2026-09-29 07:13:20SGC-0001— → Foundation / foundational—