Skip to content

[ English | Tiếng Việt | 🌐 日本語 ]

Forge Harness 概要

Forge は、システムの知識（アーキテクチャルール、ドメインモデル、設計方針）をコードの実体に直接結びつけ（アンカー）、決定論的に管理するオープンソースのソフトウェアエンジニアリングハーネスです。

解決する課題

AIコーディングエージェントや開発チームが大規模なプロジェクトで協調作業を行う際、以下の問題が頻発します：

  1. コンテキストの陳腐化 (Context Drift): ドキュメント（README、仕様書、ADR）がコードの変更に追従できず、数週間で形骸化する。
  2. AIのハルシネーションと不具合の再発: エージェントが存在しないAPIを呼び出したり、過去に修正されたはずの落とし穴（Pitfalls）を再発させる。
  3. 無秩序な変更のマージ: 既存のシステム不変条件（Invariants）に影響を与えていないかを検証せずに変更がマージされる。

Forge は、自然言語による曖昧な文書管理を廃止し、ASTノードにアンカーされたクレーム (Claims) と 決定論的ゲート検証 によってコードと仕様の完全な一致を保証します。

3層アーキテクチャ

graph TD
    subgraph Human ["第1層: 人間の意図 (Human Intent)"]
        H1["憲法と落とし穴<br/>docs/system/pitfalls.md"]
        H2["ドメインモデル<br/>docs/system/domain.md"]
        H3["意思決定記録<br/>docs/system/decisions/"]
    end

    subgraph Agent ["第2層: エージェントの作業 (Agent Work)"]
        A1["構造化変更<br/>changes/XXXX-name/"]
        A2["ゲート検証: Proposal → Design → Verify"]
        A3["影響追跡"]
    end

    subgraph Machine ["第3層: マシンの真実 (Machine Truth)"]
        M1["ASTアンカー (Python, TS, Go, C#)"]
        M2["暗号学的ハッシュ (SHA baselines)"]
        M3["自動生成依存関係グラフ"]
    end

    Human --> Agent
    Agent --> Machine
    Machine -.->|決定論的検証| Human

ドキュメント一覧