訂正記録一覧
Reipedia で見つかった誤りと、その直し方をすべて公開しています。訂正の記録は消さず、分類を改めるときも初版の分類を残します。
成績計（レーザーアイ由来誤り率）
主の指標 (x) =「レーザーアイ由来の誤り率」= 版固定済み事実 n のうち、
対応する訂正の origin='fetch' の件数 ex から Wilson 95% 区間で推定。
件数が最低 30 件に届くまでは「計測中（N件）」と件数のみ表示します。
(詳細: addendum-6 §8〜§9)
まだどの版も記録されていません (= どの source にも fetched_by が設定されていません)。
出典の不一致：7 前提の書き落とし：1 主張の範囲の言い過ぎ：1
| ID | 日付 | 項目 | 誤りの種類（今の分類） | 再検査 |
|---|---|---|---|---|
| C-preserves-meet-corr-001 | 2026-10-31 | 埋め込みembedDfumt8は、Belnap–Dunnのmeet（AND）をD-FUMT₈のand8に移す | 出典の不一致 | 対象外（表記の訂正のため） |
| C-dvir-3-4-corr-001 | 2026-10-28 | Dvirの下界の式の値：C(q+n−1, n) でq=3, n=4のとき15（計算） | 出典の不一致 | 対象外（表記の訂正のため）、過去に再確認済 |
| C-dvir-5-4-corr-001 | 2026-10-28 | Dvirの下界の式の値：C(q+n−1, n) でq=5, n=4のとき70（計算） | 出典の不一致 | 対象外（表記の訂正のため）、過去に再確認済 |
| C-image-corr-001 | 2026-10-28 | D-FUMT₈の値dがBelnap-Dunn FOURの埋め込みの像に入るのは、d ∈ {TRUE, FALSE, BOTH, NEITHER}のときに限る | 出典の不一致 | 対象外（表記の訂正のため）、過去に再確認済 |
| C1-corr-002 | 2026-10-28 | Belnap-Dunn FOUR ↪ D-FUMT₈ embeddingのinjectivity | 出典の不一致 | 対象外（表記の訂正のため）、過去に再確認済 |
| C5-corr-003 | 2026-10-28 | Dvirの下界の式の値：C(q+n−1, n)でq=3, n=2のとき6（計算） | 出典の不一致 | 対象外（表記の訂正のため）、過去に再確認済 |
| C1-corr-001 | 2026-10-14 | Belnap-Dunn FOUR ↪ D-FUMT₈ embeddingのinjectivity | 前提の書き落とし 初版：主張の範囲の言い過ぎ（2026-10-19 改訂） | 通過 |
| C5-corr-001 | 2026-10-14 | Dvirの下界の式の値：C(q+n−1, n)でq=3, n=2のとき6（計算） | 主張の範囲の言い過ぎ | 通過 |
| C5-corr-002 | 2026-10-14 | Dvirの下界の式の値：C(q+n−1, n)でq=3, n=2のとき6（計算） | 出典の不一致 | 通過 |