SRS 部品 taxonomy — 要件定義書ビジュアル design system の接地

§1. 目的とスコープ

§1.1. 北極星と問題設定

ADR-0041 は人間層を 「要件定義書 (SRS) として最適」な汎用ビジュアル design system と再定義した。 folio はその最初の consumer にすぎず (folio 特化禁止)、 機械 SSoT から人間プレゼン HTML を生成し、 2-gate (persona walk + fidelity) で検証する。 この器を満たすには、 「どの視覚部品が揃えば要件定義書を構成できるか」 を業界標準に接地して列挙し、 完全性の合否境界を定義する必要がある。 これが本書の問い。

§1.2. なぜ 29148 か (γ scope)

「十分に構成しうる」は主観では決まらない。 ISO/IEC/IEEE 29148:2018 (Systems and software engineering — Life cycle processes — Requirements engineering) は SRS の規範的内容 (Clause 9.6) ・ 要件属性 (Clause 5.2.8) ・ 要件品質特性 (Clause 5.2.5 個別 / 5.2.6 集合) を定める国際標準であり、 完全性の外部基準として機能する。 本書はこれを SRS 核 (γ) の錨とし、 組織固有の資産 (folio 自身の ADR / research / constitution) は拡張パックで後追いする (§6)。

§2. ISO/IEC/IEEE 29148:2018 SRS 構造の接地

SRS は (a) 情報項目共通内容 (Clause 9.2、 全要件文書に適用) + (b) SRS 固有内容 (Clause 9.6、 9.6.1–9.6.20) の二層を持つ。 9.6 は 5 つの大分類に整理できる。 (版注: 2018 年版は 2011 年版の §9.5 系を §9.6 系へ番号変更して構造を踏襲し、 9.6.4.9 「Interface with Services (SaaS/Cloud)」を新設した。 本書は 2018 版 §9.6.x を canonical とする。 調査の一部に残る §9.5.x 表記は同一内容の旧番号。)

§2.1. SRS 文書骨格 (Clause 9.2 共通 + 9.6 固有)

§2.2. 要件単位の属性と品質特性

注 (出典差異): 個別属性の sub-clause を一部の調査が 5.2.4 と表記したが、 標準の通称に従い 5.2.8 (Requirements attributes) を採る。 内容 (識別子・優先度・出所・根拠・検証手法・受入基準) は一致。

§2.3. 振る舞いとトレーサビリティ (use-case / EARS / RTM)

• Use-case / scenario: actor · precondition · main flow · alternative/exception flow · postcondition。 9.6.5 Product Functions の表現形態。
• EARS (Easy Approach to Requirements Syntax) 5 パターン + Complex: Ubiquitous (恒常) / Event-driven When / State-driven While / Unwanted If…Then / Optional Where。 9.6.12 機能要件文の構造化に適用 (folio 既採用)。
• RTM (Requirements Traceability Matrix): 上位ニーズ ↔ SRS 要件 ↔ 設計 ↔ 検証 の双方向トレース。 行=要件、 列=trace 先。 5.2.6 Traceable + 9.6.9 配分 + 9.6.19 検証を担う。 backward 端点 (上位ニーズの実体) を保持する部品が要る (§3 critic 補填)。

§3. 部品 taxonomy カタログ

SRS の全情報要素を担う視覚部品を register family ごとに列挙する。 ADR-0041 の視覚言語は 2 つの主 register family — 掴みの deck 帯 (色帯で章を開く) と 詳細の dense 系 (表 / RTM グリッド / 密リスト) — を骨格とし、 これに補助 register (callout / diagram / badge / glossary / meta) が従う。 (critic 指摘の整合: ADR-0041 の「2 register」は主 family が 2の意であり、 実運用は補助を含め 9 register。 §5 §B の register 整合 gate は「2 個存在」でなく「全 register が要件型カラートークンを共有し両テーマ定義を持つ一貫性」を測る。)

凡例: 必須度は完全な SRS 提示における要求度 (MUST=核に不可欠 / SHOULD=通常必要 / OPTIONAL=条件付き)。 ★ = 敵対 critic が被覆漏れとして補填した部品 (synthesis 初版に不在)。

§3.1. 主 register — deck 帯 (掴み)

§3.2. 主 register — dense 系 (詳細)

§3.3. 補助 register (callout / diagram / badge / glossary / meta)

部品総数 = 37 (synthesis 35 + critic 補填 2: approval-block / source-trace-origin)。 うち MUST = 27、 SHOULD = 8、 OPTIONAL = 2。

§3.4. generator 導入の行マーカー / 折りたたみ容器 / prose スロット (ADR-0042 §2.3 登録)

S4 generator (ADR-0042 ハイブリッド生成 + A/B 可読化) は、 §3.1–§3.3 の 37 部品を行粒度のマーカー・B 折りたたみ容器・opus 充填 prose スロットで精緻化する。 これらは新たな 29148 情報要素ではなく既存部品の実装 affordance ゆえ、 SRS 核 37 部品の数は不変 (本節は別カテゴリの追加登録)。 ADR-0042 §2.3(i) 「新 B/A スロットを部品の必須スロットとして taxonomy §3 へ登録し gate G の被覆対象に加える contract」を本節で履行する。 部品庫の凍結登録先 = .claude-plugin/design-system/catalog.html (folio-ctv / S6)。

prose スロット (opus 充填の必須スロット・register でない)。 決定的 assembler が空で出力し opus が後段で充填する。 構造は機械 SSoT から決定的組立 (捏造原理的に不可能)、 自然な日本語のやさしさのみ opus が担う (§2.1)。 全スロット空不可で floor §5.2 gate G (no-TBD) 被覆対象、 忠実性は ceiling §5.3 gate J が突合する。

data-doc-scope ラベル (将来のエンジン抽出地図)。 北極星 (folio-7wn = 汎用「完璧文書」生成ツール) に向け、 catalog の全部品に data-doc-scope を付与する — core = doc-type 非依存の薄コア (cover / deck 帯 / toggle / TOC / 参照 / 変更履歴 / 承認 / glossary / 章リード等の content 非依存 chrome)、 srs-pack = 要件 (29148 / EARS / RTM / 受入 / トレース) 固有の電池同梱パック。 判定原理 = 「部品の意味が要件語彙 (FR/NFR/EARS/RTM/acceptance/trace) を符号化するなら srs-pack、 doc-type 非依存の提示 chrome なら core」。 SRS は薄コア + doc-type パックの一実例であり、 本ラベルが後続のエンジン抽出 (core 昇格) の地図になる。

§4. 被覆マップ (完全性の証跡)

29148 SRS の各 MUST 情報要素が必ずいずれかの部品に被覆されることを示す (孤立要素ゼロ = 完全性の証跡)。 SHOULD/OPTIONAL は省略可ゆえ被覆も任意。 下表は MUST 要素のみ抜粋 (全 61 被覆エントリの核)。

結論: 29148 の SRS MUST 要素に部品被覆漏れは無い (critic 補填後)。 SHOULD/OPTIONAL は適用時に対応部品が存在する。

§5. 完全性 done-condition (二層: floor + ceiling)

§5.1. 判定式

「SRS 核 (γ) を構成しうる」= GREEN ⇔ (floor 全通過) AND (ceiling 合格)。 floor 単独で GREEN を宣言してはならない (ADR-0040 死角の再発防止 = 北極星整合の必須条件)。

§5.2. Floor — 機械判定 (bash + DOM 走査 + render-gate)

§5.3. Ceiling — 意味判定 (LLM persona + fidelity)

§6. scope 境界 (γ core と拡張パック)

§6.1. γ core に含む (29148 SRS 規範内容)

§3 の 37 部品 = SRS 核。 重要な訂正 (critic #6): synthesis 初版は Legal/Regulatory を「29148 が必須としない補足」として拡張パックへ退避させたが、 これは誤り。 9.6.7 Limitations は規制・安全・セキュリティ・監査を 13 要素に含み、 9.6.17 Standards Compliance は法令適合を MUST の核要件とする。 よって Legal/Regulatory/Safety/Security は constraint-callout (規制 variant) と nfr-metrics-table で核内に被覆し、 done-condition でも属性存在を確認する。

§6.2. 拡張パックで後追い (組織固有・SRS 核の外)

1. ADR 部品系 — decision/WHY を記録する ADR 構造 (status/context/decision/consequences/alternatives/trace) と ADR-worthiness 判定。 SRS でなく decision record。
2. research/exploration 部品系 — 業界調査・要望集約・superseded planning の自由形式探索表現。 規範要件でなく探索ドメイン。
3. constitution/原則 部品系 — folio 14 不変原則 (P-1–P-14) 等の immutable principle。 SRS でなく上位ガバナンス (別 schema FolioConstitution)。
4. Annex A OpsCon / Annex C Tailoring の専用テンプレート部品 — normative だが文書作成自体は任意ゆえ supporting-info-appendix で受けるに留め、 フル部品化は拡張。

これら拡張パックは ADR-0041 §2.6 の通り SRS 核の純度を保ったまま後追いで追加する。 folio 自身の corpus (SRS でない ADR/research/constitution を含む) は最初の consumer だが、 core taxonomy はそれらに特化させない (folio 特化禁止の北極星)。

§7. 残論点と後続スライス申し送り

本書で確定/決着した論点と、 後続スライスへ送る判断を整理する。

§7.1. 本書で決着

• 部品数の確定 (openQ#1): §3 の確定リスト = 37 部品 (MUST 27 / SHOULD 8 / OPTIONAL 2)。 19/25 表記矛盾を解消 (floor が hard-require する条件付き MUST の確定集合は S5 へ申し送り)。
• backward 端点 (openQ#2 / critic #2): source-trace-origin を一級部品化。 dogfood で上位 StRS 不在時は constitution/ADR を出所にマップ (N/A 不可)。
• done-condition の二層化 (critic #8 / #15): floor + ceiling。 floor 単独で GREEN 不可。
• 用語被覆の controlled vocabulary 接地 (criterionIssue #2): vocabulary.yaml/glossary に接地。
• Legal/Regulatory の core 復帰 (critic #6): 9.6.7/9.6.17。
• double-SSoT 回避 (redundancy #5): glossary-term-table=SSoT / inline=派生。

§7.2. 後続スライスへ申し送り

§7.3. 残 uncertain

• 検証手法バッジ (T/A/I/D) の妥当性 (例: 数値 NFR に Inspection を貼る偽装) は floor では測れず ceiling fidelity の領分 (criterionIssue #6)。
• 要件 Status (proposed/approved/implemented/verified) は SRS 核では SHOULD 維持 (critic #9 minor への pushback — 運用属性ゆえ拡張で強化)。

§8. 出自 (調査・統合・敵対 critic)

本書は multi-agent dynamic workflow (wf-e7d142dc、 ultracode) の産物 — 4 facet 並列調査 (F1: 29148 SRS 構造 / F2: 要件 taxonomy・属性 / F3: use-case・EARS・RTM / F4: 視覚部品マッピング) → 統合 (35 部品 + 61 被覆) → 敵対 critic (完全性・done-condition 検証可能性・register 整合・北極星整合)。

critic は synthesis 初版を isComplete=false / criterionTestable=false と判定し、 blocker 2 (Approval Block / Source-Trace Origin 欠落) + major 6 + criterion の Goodhart 化を検出した。 本書はこれら指摘を adjudication した上で反映済 — 妥当指摘 (二層 done-condition / 用語 controlled vocabulary / Legal core 復帰 / no-TBD gate / double-SSoT 解消 / 部品 2 補填) は採用、 一部 (Status 属性 SHOULD 維持 / OpsCon OPTIONAL 維持) は根拠を示して pushback した。 critic の最重要メタ指摘 — 「部品存在 (floor) だけを測れば ADR-0040 の Goodhart を構造継承する」 — は §5 の二層判定式として恒久化した。