Dvirの下界の式の値：C(q+n−1, n) でq=3, n=4のとき15（計算） — 版 履歴

項目 ID: rp.dvir-bound-3-4 ・ 全 0 版 （新しい 順）

git history が 取得 できま せん でした (= 新規 項目、 or build が git worktree 外 で 実行 さ れた 可能性)。

一つ 前 の 版 に 戻す に は

直接 revert push は 禁止 (REIPEDIA_LEARNING_DESIGN_v0.md §3.2 準拠)。 必ず scripts/reipedia/revert-item.ts を 使って PR を 自動 作成 する。

# 版 一覧 を 再確認
npx tsx scripts/reipedia/revert-item.ts list rp.dvir-bound-3-4

# 計画 を dry-run で 表示
npx tsx scripts/reipedia/revert-item.ts plan rp.dvir-bound-3-4

# 実行 (= 新 branch + commit + push + PR 作成)
npx tsx scripts/reipedia/revert-item.ts execute rp.dvir-bound-3-4

honest scope (= 版 履歴 の 保持 原則)

• 本 page は 読み取り 専用。 revert 自体 は CLI の PR 作成 flow で のみ 行う。
• revert PR で は、 項目 の 本文 を 旧 版 に 戻し つつ、 corrections[] と learning_log[] は 現 版 を preserve する (= 訂正 削除 の 抜け道 を 作らない、 (g-5) 設計 決定、 addendum-2 §5 append-only)。
• 訂正 の 取下げ は 「取り下げ marker 付き の 新 entry 追記」 で 表現 する (= 本 round で schema 定義 せ ず、 addendum-4 候補)。