テクノロジー

仕様駆動開発で起こる「仕様とコードのズレ」をハッシュで決定的に検出するツールを作った

1: crimson_diamond 2026/07/21 07:53

なぜ、コーディングのコストが桁違いに小さくなったのに従前の仕様書のままの運用なのか、書類を揃えないと安心できない官僚制なのか

2: korilog 2026/07/21 08:03

ちゃんと読んでないけどFR-001とかのIDってユニークにできるの?

3: pure_luca 2026/07/21 08:12

こういうのが切実にほしい。

4: nguyen-oi 2026/07/21 08:13

LLMの気まぐれに頼らず、IDとハッシュで仕様と実装のズレを決定的に検知するのアプローチとして凄く良い

5: otihateten3510 2026/07/21 08:22

そうだね バージョン+ハッシュでも良さそう

6: tenb 2026/07/21 08:25

ひとつのイシューに関する実装が複数コード、モジュールにわたる場合でも対応できるのだろうか。それともイシューをコードに対応するレベルまで分割する方向だろうか

7: nWY2RhxQPXKQloX3z 2026/07/21 08:30

例の validatePassword が void or 例外投げる という部分が興味深い

8: dowson 2026/07/21 08:56

長期間続けているうちにごちゃごちゃになったりしないだろうか

9: short_tanu 2026/07/21 09:02

決定的に検出したいならTDDで良いのでは?

10: hogetax 2026/07/21 09:05

この辺、バランスが難しいよね...どんどんエージェントのskillが進化するから自前実装を躊躇してしまう...

11: MtAsuka 2026/07/21 09:17

SDDを理解できてないから的外れかもしれないけど、仕様とコードのズレって構成管理の仕組みで担保するものじゃないのか

12: ka-ka_xyz 2026/07/21 09:32

「複数のドキュメントの整合性が維持できない」は割と現実的に感じてる痛みではあるが……関数単位の仕様についてはjsdocとかで困らないのだよな。ズレが出るのはより上の文書

13: komutan1 2026/07/21 10:27

仕様駆動開発のつらみは仕様とコードのズレではなくて、AIに指示するためにドキュメントが詳細設計レベルになってしまうことなんだよな。最終的にこのドキュメント必要?ってなる。

14: strawberryhunter 2026/07/21 11:00

関数レベルの変更を検出するツール。仕様というか、入出力や振る舞いの詳細設計と関連付けるようだ。仕様と言うには詳細すぎるし、ハッシュは手段なので、本筋には関係が無い。/うまく機能する気がしないが。

15: kagerouttepaso 2026/07/21 11:12

TDDでAIがテストを書いたら誰が要求を満たした事を証明するのかって話でしょ?とはいえ、SDDで怖いのは仕様同士の矛盾や優先順位の認識ズレなのでなので、そこをカバーできないと痛みは無くならないと思う。

16: FreeCatWork 2026/07/21 11:16

ズレを見つけるなんてお利口さんだにゃ!ボクの毛玉の絡まりも直してほしいにゃ。

17: queeuq 2026/07/21 11:17

AIそのまま感すごかったので真面目に読んでないが、コードはほぼ自動生成してる以上、今後もブラックボックス化が進むと思うのでテスト側と仕様書を紐づけたほうがまだ筋が良いように思う。

18: mr_mayama 2026/07/21 11:30

Ctx消費しないし更新が決定論的。応用すれば何にでも使えそう。専用のルールをAgentに強いるのがめんどいぐらいで、メンテが雑なことが予見されてるプロジェクトでは良さそう。考え方だけもらおうかな

19: thorthewind 2026/07/21 12:06

仕様書駆動開発ってワンショットの仕様書でやるから仕様とコードなんかズレようがないと思うんだけど、わいの知ってる仕様書駆動開発とは別物のようだ

20: cad-san 2026/07/21 12:24

検証用ハーネス整備の話だと思うんだけど、作業が漏れるのはプラン時の検出が難しくなってるからだと思うので、ドキュメント構造を整備するとか、対応表を導入する等リーダビリティ整備もした方が良さそう

21: simplememofast 2026/07/21 12:27

肝は検証をLLMでなく決定的CLIに任せ、Stop Hookのexitコードでループに挟んだ点。エージェントが自分の出力を自分で採点して通す構図を断てるのが、4層統合以上に効く

22: taguch1 2026/07/21 12:34

ついこういったツールで人間がコードを書く感覚でボトルネックや問題点が頭に浮かんでオールドタイプを実感する。開発スタイルで問題点が大分違うよなぁ。

23: koseki 2026/07/21 15:17

よさそうー