AnchorSpec Specification Guide

AnchorSpec
仕様書

AnchorSpecは、AI協働開発において、意図・仕様・変更要求・実装・検証を明示的な運用レイヤーとして分離し、人間とAIの協働を追跡可能・レビュー可能・検証可能にするための構造化プロトコルです。

01

Overview

AnchorSpecとは何か

AnchorSpec is a structured protocol for AI-assisted software development. It separates Intent, Specification, Change Requests, Implementation, and Verification into explicit operational layers so that human–AI collaboration remains traceable, reviewable, and verifiable.

AnchorSpecは、AI協働開発において、意図・仕様・変更要求・実装・検証を明示的な運用レイヤーとして分離し、人間とAIの協働を追跡可能・レビュー可能・検証可能にするための構造化プロトコルです。

中心原則は、Specを唯一のSource of Truthとして扱うことです。新しい提案や矛盾はGapへ集め、Change Requestとして整理し、 人間が承認した変更だけをSpecへ適用します。

思考と仕様を分離
変更はGapを経由
構造の決定権は人間
02

Problems AnchorSpec addresses

解決する問題

AnchorSpecが対処する問題を、定義や責任がまだ明示されていない問題領域と、 AI協働開発で観測される既知の失敗モードに分けて整理します。

A

Under-defined problem spaces

未定義の問題領域

目的・仕様・責任・検証基準が明示されないことによって生じる問題です。

Ambiguous Intent Transfer

意図の曖昧伝達

人間の判断から仕様・実装へ移る過程で、意図の精度や判断根拠が失われます。

Specification Drift

仕様の流動化

未レビューの前提や局所的な判断によって、仕様として扱われる内容が徐々に変化します。

Unclear Responsibility Boundaries

責任境界の不明確化

変更の提案・承認・実装・検証を誰が担うのかが不明確になります。

Shallow Verification

検証の形骸化

検証が、明示された意図や仕様との比較ではなく、表面的な完了確認になります。

B

Known failure modes

既知の問題領域

長期・複数コンテキストのAI協働開発で知られている失敗モードです。

Context Drift

コンテキストドリフト

セッションやツールをまたぐ過程で、前提・判断・参照関係がずれたり失われたりします。

Specification Gaming

仕様の形式的攻略

仕様の文面だけを満たし、本来意図された成果や制約を回避する実装が生じます。

Hallucination

ハルシネーション

根拠のない前提や生成された詳細が、計画・実装・検証へ混入します。

Reward-hacking-like optimization in operational workflows

運用ワークフローにおける報酬ハッキング類似の最適化

AnchorSpecは学習アルゴリズム上のReward Hackingを解決しません。目に見える完了指標だけを最適化し、本来の目的を外すような報酬ハッキングに似た挙動が、運用上起きる条件を減らします。

03

Core Concepts

コア概念

目的と判断軸

Intent

システムが達成すべき目的(Why)を定義する最上位の基準です。更新はユーザーの直接編集に限定されます。

唯一の正本

Spec

合意済みの仕様と判断理由を保持するSource of Truthです。承認済みのChange Requestだけが反映されます。

変化の入口

Gap

未定義、矛盾、アイデア、フィードバックを受け止めます。差分をSpecへ直接混入させないための領域です。

実装状態

Impl

Specを具体化した現実の実装です。正しさは自動的には保証されず、Verifyの比較対象になります。
提案・矛盾GapChange Request人間の承認Spec
04

Thread Model

役割ごとに文脈を分離する

Intent
判断基準として参照

仕様レーン

Gap
↓ CR / Approve
Spec
↓ Thaw / Build Plan

実装レーン

Impl
↓ Verify
ImplGap
Thread役割主な入力
Intent全体目標ユーザー入力
Spec仕様と履歴承認済みCR
Gap議論と差分の入口人間 / AI
Impl実装Build Plan
ImplGap実装上の差分Verify / 実装議論

Threadは単なる分類ではなく、独立した文脈・役割・履歴を持つ会話単位です。 Gapを必要に応じて分離し、不要になったものを整理することもDrift抑制の一部です。

05

Verification

Verify(検証)は修正しない

Intent / Spec↓ 比較Verify↓ 検出結果Gap / ImplGap

Verifyは検証を行いますが、修正は行いません。 仕様・意図・実装の不一致を検出し、GapまたはImplGapへ出力します。

Verifyの責務は、仕様・意図・実装の不一致を検出して報告することです。 検出と修正を同時に行うと、何が問題で、なぜ変えたのかが失われます。

見つかった問題はGapまたはImplGapへ出力し、議論と承認を経て処理します。 AIは検証と提案を担えますが、構造やSpecを自律的に確定してはなりません。

AnchorSpecが保証しないこと

正解、AIの推論品質、Context維持の完全性、永続性、完全な再現性、 差分の自動解決は保証しません。AnchorSpecは構造的な制御手段であり、 最終判断と運用責任は人間側にあります。