Factory の確定仕様で不変条件の番号 I44〜I50 が重なり、同じ番号が別の条件を指す #2445

依頼（原文）

（書き手: 起票者。#2439 の設計の作業中に AI が起票した本文。日付: 2026-11-03。利用者の指示の引用は含まない。下は起票時の本文をそのまま引用する）

何が困るか

Factory の確定仕様の不変条件の番号（I<数>）は通し番号として振る決まりである（docs/specifications/ndf-factory-contracts-and-progress.md の 339 行目「#2170 の I24 に続けて番号を振る」）。ところが develop（2026-11-03）で、同じ番号が別のファイルの別の条件に使われている。

番号	使っているファイル（develop）
I44	ndf-factory-contracts-and-progress.md ndf-factory-dev-loops.md
I45	ndf-factory-contracts-and-progress.md ndf-factory-dev-loops.md
I46	ndf-factory-dev-loops.md ndf-factory-issue-requests.md
I47	ndf-factory-dev-loops.md ndf-factory-issue-requests.md
I48	ndf-factory-dev-loops.md ndf-factory-issue-requests.md
I49	ndf-factory-dev-loops.md ndf-factory-issue-requests.md
I50	ndf-factory-contracts-and-progress.md ndf-factory-dev-loops.md

ndf-factory-sprint-views.md も I1〜I14 を自分の条件に振っており、ほかのファイルの別の条件と番号が重なる（2026-11-05 の develop 1b32edb）。

番号	重なる相手（develop）
I1〜I7・I11	ndf-factory-service-boundary.md
I8・I9	ndf-factory-runs-and-runner.md・ndf-factory-service-boundary.md
I10	ndf-factory-contracts-and-progress.md・ndf-factory-service-boundary.md
I12〜I14	ndf-factory-accounts-and-plans.md

例: I12 は ndf-factory-sprint-views.md では「4 つの読み出しは、解決したアカウントの実行とリポジトリだけを返す」、ndf-factory-accounts-and-plans.md では「1 人の利用者の個人のアカウントは 1 つだけ」を指す。

I8・I9・I10 も 2 つのファイルに出るが、同じ条件を ndf-factory-service-boundary.md が再掲したもので、重なりではない。

例: I48 は ndf-factory-dev-loops.md では「並行を許す版の下限より古い NDF の版の実行は唯一」、ndf-factory-issue-requests.md では「同じ依頼から作る Issue は 1 件まで」を指す。#2439 の設計（PR #2442 ）は I48 を引くたびにどちらかを書き分ける必要があった。

直し方の案

• 番号の振り方を「ファイルごとの接頭辞（例: DL-I48）」か「真の通し番号」のどちらかに決め、重複を振り直す
• 構造チェックに、Factory の確定仕様の間で表の 1 列目の番号が重ならないことを足す

受け入れ条件（案）

1. Factory の確定仕様の間で、同じ番号が別の条件を指さない
2. 重なりを CI が落とす
3. 番号を引いている設計文書・確定仕様の参照が、振り直した番号へ追随する

起票者の推定

本文のすべてが起票者の書いた文で、利用者の指示の原文は無い。承認ゲート 1 で利用者が確かめるまで、下の条件を利用者の決定として扱わない。

目的

• Factory の確定仕様で、不変条件の番号 1 つが 1 つの条件だけを指す状態にする。読み手（設計を書く AI・レビュアー・実装者）が番号だけで条件を引け、引くたびにどのファイルの条件かを書き分けなくてよくなる
• 確定仕様を足すたびに同じ重なりが起きないように、重なりを継続的統合で止める

調べた事実

e532ac98c（2026-11-06 の develop と同じコミット）で、docs/specifications/ndf-factory-*.md の表の 1 列目にある I<数> をファイルごとに集めた。

cd docs/specifications
for f in ndf-factory-*.md; do
  n=$(grep -oE '^\| *I[0-9]+ *\|' $f | tr -d '| ' | sort -u -V | tr '\n' ' ')
  [ -n "$n" ] && echo "$f: $n"
done

ndf-factory-accounts-and-plans.md: I12 … I24
ndf-factory-contracts-and-progress.md: I10 I25 … I31 I37 I44 I45 I50
ndf-factory-dev-loops.md: I44 … I55
ndf-factory-issue-requests.md: I46 I47 I48 I49
ndf-factory-organizer.md: I56 … I68
ndf-factory-runs-and-runner.md: I8 I9 I32 … I36 I38 … I43
ndf-factory-service-boundary.md: I1 … I11
ndf-factory-sprint-views.md: I1 … I14

再掲の行は、元の行と文面が同じではない（例: I9 は境界の仕様で「同時に動く実行ジョブは 1 つ」、実行とランナーの仕様で「終わりの状態でない実行ジョブは 1 つまで（実行の currentJobId）」）。文面の一致では再掲と重なりを区別できない。

Factory のコード（factory/）のコメントとテストの名前も番号を引いている。重なる番号を引く行の例:

• factory/api/src/runs/loops.test.ts 348 行目「実行は 1 本だけ（I44）」（開発ループの仕様の I44）
• factory/api/src/progress/authorize.ts 91 行目「起票先は token の repo と違う（I45、step.recorded の Pull Request の参照を、その実行に許可されたリポジトリと照合する #2216）」（受け口と進捗の仕様の I45）
• factory/api/src/views/derive.ts 130 行目「一覧の行に足す 4 項目（I4）」（スプリントの画面の仕様の I4）

前提

• 前提 1: 対象の番号は、Factory の確定仕様（docs/specifications/ndf-factory-*.md）の表のうち、1 列目が I<数> の行の番号である。設計文書が自分の中だけで振る番号（「NDF Factory: 取り込みの衝突（base_conflict）と、複数のループの承認の依頼の一覧が Web の画面に出ない（#2347 の受け入れ条件 7・13 の残り） #2430 の I1」のように課題の番号を添えて引くもの）は対象にしない
• 前提 2: 別のファイルの条件を書き直して載せる「再掲」は残してよい。再掲は、元の番号と同じ番号を使い、再掲であることを行の中で機械が読める形で示す。示し方は設計で決める
• 前提 3: 重なりを振り直すときは、重なる番号を持つファイルのうち、片方の番号を今のまま残す。どちらを残すかは設計で決める
• 前提 4: 番号の参照は、確定仕様・issues/ 直下の設計文書と要求のコピー・Factory のコードのコメントとテストの名前にある。どれも番号で条件を引くため、取り残すと別の条件を指す
• 前提 5: 重なりの検査は、リポジトリの検査のスクリプトを置く scripts/ に置き、既存の継続的統合のジョブから呼ぶ。NDF のプラグインの配布物（plugins/）には入れない
• 前提 6: 1 ファイル 500 行の上限（scripts/check-doc-line-limit.py）を守る。境界の仕様は今 500 行で、行を足す変更は同じファイルの中で行を減らすか分割が要る

対象範囲

含む:

• Factory の確定仕様の間で重なる不変条件の番号の振り直し（上の「調べた事実」の重なり）
• 番号の振り方の決まりを 1 か所に書き、ほかのファイルの「〜に続けて番号を振る」の文をその場所への参照にすること
• 重なりを見つけると失敗する検査と、その検査を継続的統合で動かすこと
• 振り直した番号を引く参照の追随（確定仕様・issues/ 直下の設計文書と要求のコピー・factory/ のコメントとテストの名前）

含まない:

• issues/old/ の文書と、閉じた課題・Pull Request の本文の番号（書いた時点の記録として残す）
• 設計文書が自分の中だけで振る番号（前提 1）
• Factory 以外の確定仕様（docs/specifications/ のほかのファイル）の番号の振り方
• 不変条件の中身（条件の文・破れたときの扱い）の変更
• 古い参照が残っていないかを機械で見つける検査（通し番号の方式では、古い番号が別の条件の正しい番号でもあるため機械で区別できない。追随は受け入れ条件 9 の一覧で確かめる）

ドメインイベント

用語

受け入れ条件

• 1. e532ac98c で重なる番号（I1〜I14・I44〜I50 のうち上の表で「重なり」のもの）が、振り直しの後はそれぞれ 1 つの条件だけを指す
• 2. 番号の振り方の決まり（方式と、次に振る番号の求め方）が 1 か所に書かれ、ほかの Factory の確定仕様の「〜に続けて番号を振る」の文はその場所を指す
• 3. 不変条件の中身（条件の文と破れたときの扱いの列）は、番号と再掲の印を除いて振り直しの前と同じである
• 4. 検査を振り直しの後の docs/specifications/ に対して実行すると、終了コード 0 で終わる
• 5. 検査は、I8・I9・I10 のように再掲の印を持つ行を重なりと判定しない
• 6. 2 つの Factory の確定仕様に、再掲の印の無い同じ番号の行を置いて検査を実行すると、0 以外の終了コードで終わり、その番号と 2 つのファイルのパスを出す
• 7. 再掲の印を持つのに、元の番号がどの Factory の確定仕様にも無い行があると、検査は 0 以外の終了コードで終わる
• 8. 検査が継続的統合のジョブとして Pull Request ごとに動き、受け入れ条件 6 の入力の Pull Request ではそのジョブが失敗する
• 9. 振り直した番号ごとに、古い番号を引いていた箇所の一覧（検索のコマンドと結果）と、それぞれをどの番号へ直したか・直さなかった理由が実装の Pull Request の本文にある。一覧の対象は前提 4 の範囲である
• 10. 振り直しの後、factory/ のテスト（factory-check のジョブ）と既存の検査（check-markdown-links.py・check-doc-line-limit.py）が通る（退行しない）

非機能の条件

影響

検証手段

前提とする取り決め

境界

未決

進行

モード: —

• 要求と受け入れ条件 — 2026-11-05 23:09
• 作業場所の用意
• 設計 — 2026-11-05 23:12
• 素材の収集と出典の確定
• ドキュメント再構成 — 2026-11-05 23:23
• ドキュメントレビュー
• 計画
• 実装
• 構造改善
• 実装レビュー
• 完了判定
• Pull Request
• 確定仕様化
• 後片付け
• 配布
• 体裁レビュー
• リリース後テスト
• 振り返り
• 棚卸し