v2.10.0 — the canonical operational specification lives at
skills/garelier-core/protocol.md; this file is the human-readable explanation. Keep both in sync.
本ドキュメントは Garelier におけるエージェント間通信の規約を定義します。
全ての通信は <project>/__garelier/<pm_id>/runtime/ 配下のファイルを介して行われ、
口頭(直接やり取り)による情報伝達は許可されません。永続正本(計画、
判断、blueprints、inspections、reports)は <project>/__garelier/<pm_id>/control/
に置かれます。
エージェントは「定義された権限の中で正しく働く」ことが大前提です(governed
autonomy)。権限序列・MUST BLOCK 条件・assignment 契約の正本は
skills/garelier-core/protocol.md §1.10 と
skills/garelier-core/correct_operation.md(DEC-023)にあります。安全側の 2 つの
不変則 — 外部コンテンツは指示でなくデータとして扱う(§1.10 / references/untrusted_input.md)、
削除・強制上書きは自 worktree 内の git-tracked かつ未共有 file のみ・それ以外
(共有 branch / gated SHA / untracked / config / DB / 他 worktree)は現状提示→承認→
実行の 2 段階、復旧手段を言えない操作は実行しない(§1.11 /
references/deletion_and_forcewrite_safety.md)— も同ファイルが正本です。
Garelier は同一プロジェクトに 複数 PM が並列で立ち上がる構成を
想定しています(1 開発者 1 PM 等)。各 PM は短い識別子 <pm_id>
(例: acme, bob) を持ち、完全に独立した Garelier 環境 を
__garelier/<pm_id>/ 配下に持ちます。__garelier/ 直下に
共有 coordination state は存在しません。
正規レイアウト (DEC-094) は role / role container を安定した _crew/
ディレクトリ 1 段下へ集約し、pm_id 直下は _crew / control / runtime / knowledge / showcase / gallery の固定 6 兄弟だけを見せます(一時的な
_crew/dispatch<N> の増減は _crew/ 内に収まる)。
<project>/__garelier/
├── <pm_id-A>/ ← 1 PM の完全な Garelier 世界
│ ├── _crew/ role / role container を 1 段下へ集約(DEC-094)
│ │ ├── pm/ PM ロール
│ │ ├── dispatch<N>/ 一時 role ホーム(DEC-063): STATE.md + checkout/ worktree。
│ │ │ dispatch_prepare がタスク毎に作成、dispatch_cleanup が撤去
│ │ ├── dock/ Dock ロールホーム(オンデマンド、DEC-065 — 事前作成しない)
│ │ ├── workers/<worker_id>/ Worker container(オンデマンド、DEC-065): 調整ファイル + checkout/ worktree、in-project(DEC-036; exile は opt-in)
│ │ ├── scouts/<scout_id>/ Scout container (+ checkout/ detached worktree)
│ │ ├── smiths/<smith_id>/ Smith container (+ checkout/ worktree)
│ │ ├── artisan/ Artisan container (+ checkout/; 単一; Artisan route, DEC-017)
│ │ ├── librarians/<librarian_id>/ Librarian container (+ checkout/; Dock orchestration, DEC-018)
│ │ ├── observers/<observer_id>/ Observer container (+ checkout/; read-only review/advice, DEC-019)
│ │ ├── guardians/<guardian_id>/ Guardian container (+ checkout/ on a gavel branch; security gate, DEC-024)
│ │ └── concierges/<concierge_id>/ Concierge container (+ checkout/ on a clipboard branch; external ops, DEC-025)
│ ├── showcase/ user 向け成果物のドロップ先(gitignore; subfolder 必須、W-085)
│ ├── gallery/ user が残す成果物(git 管理、Git LFS; W-085)
│ ├── knowledge/ per-PM knowledge tree(git 管理正本、DEC-077)
│ ├── control/ この PM の永続正本(git 管理、control.toml で schema 選択)
│ │ ├── control.toml schema / mode / namespace identity
│ │ ├── project_dashboard/ schema-3 Current/Notes + curated/index view
│ │ ├── roadmaps/ 複数 canonical Roadmap
│ │ ├── milestones/ shared/nested Milestone DAG
│ │ ├── backlog/{open,archive/} canonical Backlog (`W-NNN`)
│ │ ├── backlog_views/ queue/bundle view
│ │ ├── checkpoints/{active,archive/} durable resume state
│ │ ├── notes/ optional sharded durable Notes
│ │ ├── risks/{open,archive/} schema-3 Risk
│ │ ├── operations/ quality gate + runbook / safety policy
│ │ ├── blueprints/ task spec
│ │ ├── inspections/ この PM の受理済み Scout 成果物
│ │ ├── observations/ 受理済み Observer report(DEC-019)
│ │ ├── delegation/ この PM が知る他 PM 一覧
│ │ │ ├── known_pms.toml 同 project の他 PM(交流相手)
│ │ │ └── remote_pms.toml 他 project の PM(横断 request 用)
│ │ ├── request_intake/ この PM 宛 request 受口
│ │ ├── scheduled_jobs/ この PM の RRULE jobs
│ │ ├── decisions/ この PM の DEC(任意)
│ │ └── reports/ promote / benchmark / data_audit / requests 等
│ └── runtime/ 実行中の一時状態(gitignore、machine-local)
│ ├── manifest.md milestone / backlog 集計 / activity(実行行は持たない、W-011)
│ ├── backlog/
│ │ ├── pending.md 未着手・進行中
│ │ ├── in_flight.md 実行中作業の生成ビュー(W-011; dispatch_event.ts が再生成。手書き禁止)
│ │ ├── next_id task id (BP-N) カウンタ
│ │ └── done/
│ │ └── archive/
│ │ └── requeued/ PM が戻した WIP 監査メモ
│ ├── dock/inbox/ Worker / Scout / Smith / PM から Dock への通知
│ ├── dock/outbox/ Dock → PM の container-local 結果
│ ├── dock/escalation/ Dock → PM
│ ├── pm/inbox/ Dock → PM 進捗
│ ├── pm/resolutions/ PM 回答
│ ├── requests/ delegated request state
│ ├── observer/ Observer request/result inbox(DEC-019; all applicable routes）
│ ├── guardian/ Guardian gate request/result inbox(DEC-024)
│ ├── concierge/ Concierge external-op request/result inbox + locks/(target-scoped, DEC-025)
│ ├── librarian/ Librarian ローカル専用作業領域(DEC-038): raw/ cache/ drafts/ — curated 知識は tracked な knowledge tree へ promote
│ ├── scheduled_jobs/ locks / per-run
│ ├── workspace_paths role→exile container ポインタ — exile opt-in 時のみ(DEC-036; gitignored)
│ └── dispatch/ role の start/gate/merge イベントログ(Status Web の情報源)
└── <pm_id-B>/ ← 別 PM、完全に独立
└── ... (同じ shape)
role の排他は dispatch では構造的に保証されます(DEC-066): 各タスクは
driver/src/scripts/dispatch_prepare.ts(アトミックな id 採番)が用意した専用
_crew/dispatch<N>/checkout worktree 上の run-to-completion サブエージェント
1体として実行され、pid lease も二重起動の窓も存在しません。
_crew/ 配下の永続 role container は オンデマンドでのみ作られます(DEC-065):
fresh setup は何も事前作成せず、wizard の diff mode による永続container追加が
唯一の作成経路です(長期に作業を退避するrole homeが必要なときだけ)。
setup_config.toml のrole metadataは運用inventoryでありrouting authorityを
持ちません。provider/model/effortはper-task flag → blueprint hint →
[model_routing] policyの順で解決します。
Worker / Scout / Smith の状態ファイルは container 側(DEC-020)
(__garelier/<pm_id>/_crew/workers/<worker_id>/STATE.md 等)に置かれます。
git worktree は container 内の checkout/ に nest され、実行時の cwd は
その checkout/。調整ファイルは一つ上(../STATE.md 等)で読み書きします。
DEC-036 — role worktree は既定でプロジェクト内: 上記
__garelier/<pm_id>/_crew/<role-container>/ の container はプロジェクト内にあり、
<role-container> は workers/<id> / scouts/<id> / smiths/<id> /
librarians/<id> / observers/<id> / guardians/<id> /
concierges/<id> / artisan のいずれかです。git worktree は
…/checkout/ です。role の cwd(checkout)はプロジェクトの
子孫なので CLAUDE.md 祖先探索が対象プロジェクト自身の <proj>/CLAUDE.md も
読みますが、これは worktree が既に持つコピーの重複でトークンコストのみ
(identity は dispatch prompt で正典＝prompt-
authoritative)。wizard はプロジェクト内のまま
<checkout>/.claude/settings.local.json に
claudeMdExcludes(本流 CLAUDE.md 群の絶対 glob)を
書き、重複ロードを除外します(headless でも有効)。
exile は opt-in: --exile/-Exile/GARELIER_HOME/[workspace] home_root
を指定すると、container はプロジェクト外のマシンローカル studio home
$GARELIER_HOME/studios/<home_id>/<role-container>/(既定
~/.garelier/studios/<home_id>/<role-container>/)
になり、gitignored な __garelier/<pm_id>/runtime/workspace_paths(1 行
<role 単数>.<id>=<絶対 container>、加えて artisan=…)に記録されます。tooling
roleContainer() / wizard ws_resolve_container / doctor・status のリゾルバは
ポインタがあればそれを、無ければ in-proj パスを解決します(既定は in-proj)。
どちらの配置でも role は調整ファイルを ../ で、primary/runtime/control を
CLAUDE.md の絶対パス(dispatch prompt が再注入)で
扱います。既定の in-project は Claude Code の launch-folder アクセスモデルに
従い共有/制限環境でも動作します。詳細は
DEC-036(0035 を supersede)。
Scout の inspection は Scout detached worktree 内で draft として作成されます。 Dock が受理した後、PM が primary checkout 側へ取り込み、同内容を commit または既存 commit 確認します。Scout 自身は commit しません。
__garelier/ 直下に共有の control/ は存在しません(すべての
control/ は <pm_id> 配下にあります)。2 PM 間で tracked
ファイルは共有されず、coordination が必要な場合は
request_intake/ 機構(後述)経由でのみ行います。
永続的なプロジェクト管理の正本は、明示的に選んだ
__garelier/<pm_id>/control/ namespace に置きます。
最初に control.toml を解決します。新規既定の schema 3 は Markdown plan graph
を正本とし、Current / Checkpoint の bounded resume、Backlog と周辺 graph の
必要量だけを読みます。単独 PM の直接編集は strict validation を通しますが、
Decision / Blueprint の status は front matter を直接変更せず、session と expected
Control revision を伴う control transition decision|blueprint で更新します。共有・
自動化された複数ファイル更新も revision / session / claim / transaction /
generation binding を使います。stale revision、不正 transition、malformed artifact
は canonical write 前に fail-closed します。project_dashboard/ は現在地と project view の
現役情報であり、Roadmap・Milestone・Backlog・Notes 等と共存します。
Control command は schema 3 / plan_graph_markdown だけを読み書きします。
schema 1 / 2 と未知の schema/storage 組合せは明示的に reject し、暗黙変換しません。
プロジェクトの docs/ は目標、設計、背景を説明できますが、別の roadmap、
backlog、decision 正本を維持してはいけません。既存の
docs/project_dashboard/ がある場合、永続管理情報を選択した control
namespace へ移行し、docs/ には説明文章だけを残します。
複数 PM の coordination は request_intake、control bundle、または
明示的に選択した shared control namespace を使います。agents は
directory 名から共有正本を推測しません。
active な Worker / Scout / Smith を退役させたいが、task を aborted
扱いにしたくない場合、PM は clean-stop ではなく
retire-and-requeue を使います。
abort.mdは書きません。- agent を
ABORTEDにしません。 - 即時再 dispatch が危険なら、schema 3 の Blueprint は revision-checked
lifecycle で
blockedにします。 - task を同じ task id のまま
runtime/backlog/pending.mdに戻します (in_flight.mdは生成ビュー(W-011)— role の container/STATE が 消えれば行は自動で落ちます。手で編集しません)。 _crew/pm/history.mdの outcome はrequeuedとします。runtime/backlog/next_idは増やしません。- WIP 監査を残す場合は
runtime/backlog/requeued/<timestamp>-<task-id>-<agent-id>/に置きます。これは merge 経路ではありません。
request reports は状態ごとに writer が異なります。accepted/completed の report は PM、rejected report は request_intake が書きます。
下表の path は全て 1 PM のツリー (__garelier/<pm_id>/...) 内です。
書き込み権限は同 <pm_id> のロールに限られ、別 PM の同種ファイル
への書き込みは 禁止 です(cross-PM 連携は §5 の request_intake
経由)。「全員」は「この PM の全ロール」を意味します。
| Path | 書き込み権限 | 読み取り |
|---|---|---|
__garelier/<pm_id>/runtime/manifest.md |
Dock | 全員(同 PM) |
__garelier/<pm_id>/runtime/backlog/pending.md |
Dock | 全員(同 PM) |
__garelier/<pm_id>/runtime/backlog/in_flight.md |
dispatch_event ツール(生成ビュー、W-011) | 全員(同 PM) |
__garelier/<pm_id>/runtime/dispatch/events.jsonl |
dispatch ツール(追記専用の単一情報源、DEC-064 §3) | 全員(同 PM) |
__garelier/<pm_id>/runtime/backlog/done/ |
Dock | 全員(同 PM) |
__garelier/<pm_id>/runtime/backlog/archive/ |
Dock | 全員(同 PM) |
__garelier/<pm_id>/runtime/backlog/requeued/ |
PM | 全員(同 PM) |
__garelier/<pm_id>/runtime/dock/inbox/ |
Worker / Scout / Smith / PM | Dock |
__garelier/<pm_id>/runtime/dock/outbox/ |
Dock | PM |
__garelier/<pm_id>/runtime/dock/escalation/ |
Dock | PM |
__garelier/<pm_id>/runtime/dock/tier_order.json |
Dock | dispatch loop(DEC-031) |
__garelier/<pm_id>/runtime/merge_gate/requests/ + …/next_seq |
Dock | merge-gate subprocess (DEC-007) |
__garelier/<pm_id>/runtime/merge_gate/{results,logs,archive}/ |
merge-gate subprocess | Dock |
__garelier/<pm_id>/runtime/merge_gate/locks/ (active.lock 含む) |
merge-gate subprocess | Dock |
__garelier/<pm_id>/runtime/merge_gate/closure/{state.json,history/,coordinator.lock} (W-343/W-346) |
integration_closure.ts, CAS-guarded |
全 merge chokepoint（pollMergeGate, merge-gate.ts, merge_request, merge_land, dock_integrate, dispatch_cleanup, land_aftercare, landing_finalize.ts）, Smith recovery tooling |
__garelier/<pm_id>/runtime/land_aftercare/{journals,locks,envelopes,register}/ |
land_aftercare.ts（provider hook は自分の operation ack のみ） |
PM / Dock / recovery tooling |
__garelier/<pm_id>/runtime/pm/inbox/ |
Dock / User | PM |
__garelier/<pm_id>/runtime/pm/resolutions/ |
PM | Dock |
__garelier/<pm_id>/runtime/requests/inbox/ |
request_intake | PM |
__garelier/<pm_id>/runtime/requests/processing/ |
PM | PM |
__garelier/<pm_id>/runtime/requests/processed/ |
PM | PM |
__garelier/<pm_id>/runtime/requests/rejected/ |
request_intake | PM |
__garelier/<pm_id>/runtime/requests/failed/ |
request_intake | PM |
__garelier/<pm_id>/runtime/scheduled_jobs/locks/ |
scheduler wrapper | owner role |
__garelier/<pm_id>/runtime/scheduled_jobs/runs/ |
owner role | owner role |
__garelier/<pm_id>/_crew/workers/<id>/STATE.md |
Worker <id> |
全員(同 PM) |
__garelier/<pm_id>/_crew/workers/<id>/assignment.md |
Dock | Worker <id> |
__garelier/<pm_id>/_crew/workers/<id>/report.md |
Worker <id> |
Dock |
__garelier/<pm_id>/_crew/workers/<id>/under_review.md |
Dock | Worker <id> |
__garelier/<pm_id>/_crew/workers/<id>/review.md |
Dock | Worker <id> |
__garelier/<pm_id>/_crew/workers/<id>/merged.md |
Dock | Worker <id> |
__garelier/<pm_id>/_crew/workers/<id>/answers.md |
Dock | Worker <id> |
__garelier/<pm_id>/_crew/workers/<id>/track-target.md |
Dock | Worker <id> |
__garelier/<pm_id>/_crew/workers/<id>/abort.md |
PM or Dock | Worker <id> |
__garelier/<pm_id>/_crew/<role-container>/urgent.md (任意の detached agent) |
PM or Dock | dispatch loop(DEC-031) |
__garelier/<pm_id>/_crew/scouts/<id>/STATE.md |
Scout <id> |
全員(同 PM) |
__garelier/<pm_id>/_crew/scouts/<id>/assignment.md |
Dock | Scout <id> |
__garelier/<pm_id>/_crew/scouts/<id>/committed.md |
Dock | Scout <id> |
__garelier/<pm_id>/_crew/scouts/<id>/abort.md |
PM or Dock | Scout <id> |
__garelier/<pm_id>/_crew/smiths/<id>/STATE.md |
Smith <id> |
全員(同 PM) |
__garelier/<pm_id>/_crew/smiths/<id>/assignment.md |
Dock | Smith <id> |
__garelier/<pm_id>/_crew/smiths/<id>/report.md |
Smith <id> |
Dock |
__garelier/<pm_id>/_crew/smiths/<id>/under_review.md |
Dock | Smith <id> |
__garelier/<pm_id>/_crew/smiths/<id>/review.md |
Dock | Smith <id> |
__garelier/<pm_id>/_crew/smiths/<id>/merged.md |
Dock | Smith <id> |
__garelier/<pm_id>/_crew/smiths/<id>/answers.md |
Dock | Smith <id> |
__garelier/<pm_id>/_crew/smiths/<id>/abort.md |
PM or Dock | Smith <id> |
__garelier/<pm_id>/_crew/librarians/<id>/STATE.md |
Librarian <id> |
全員(同 PM) |
__garelier/<pm_id>/_crew/librarians/<id>/assignment.md |
Dock | Librarian <id> |
__garelier/<pm_id>/_crew/librarians/<id>/report.md |
Librarian <id> |
Dock |
__garelier/<pm_id>/_crew/artisan/STATE.md |
Artisan | 全員(同 PM) |
__garelier/<pm_id>/_crew/artisan/assignment.md |
PM | Artisan |
__garelier/<pm_id>/_crew/artisan/{report,checkpoint}.md |
Artisan | PM |
__garelier/<pm_id>/_crew/observers/<id>/STATE.md |
Observer <id> |
全員(同 PM) |
__garelier/<pm_id>/_crew/observers/<id>/assignment.md |
Requester (Dock/Artisan/Worker) | Observer <id> |
__garelier/<pm_id>/_crew/observers/<id>/{report,advice}.md |
Observer <id> |
Requester |
__garelier/<pm_id>/_crew/observers/<id>/acked.md |
Requester | Observer <id> |
__garelier/<pm_id>/runtime/observer/{requests,results}/ |
Requester (requests) / Observer (results) | Observer, Dock |
__garelier/<pm_id>/control/observations/ |
Observer draft / PM·Dock·Artisan commit | 全員(同 PM) |
__garelier/<pm_id>/_crew/guardians/<id>/{STATE,guardian_report}.md |
Guardian <id> |
全員(同 PM) |
__garelier/<pm_id>/_crew/guardians/<id>/assignment.md |
Requester (Dock/PM/Artisan) | Guardian <id> |
__garelier/<pm_id>/runtime/guardian/{requests,results}/ |
Requester (requests) / Guardian (results) | Guardian, Dock |
__garelier/<pm_id>/_crew/concierges/<id>/{STATE,concierge_report}.md |
Concierge <id> |
全員(同 PM) |
__garelier/<pm_id>/_crew/concierges/<id>/assignment.md |
PM | Concierge <id> |
__garelier/<pm_id>/runtime/concierge/{requests,results,locks}/ |
PM (requests) / Concierge (results, target-scoped locks) | Concierge, Dock |
{source,routine}_registry.toml(knowledge index) |
Librarian draft / shelf review | 全員(同 PM) |
__garelier/<pm_id>/control/inspections/<category>/<topic>.md |
Scout draft / PM commit | 全員(同 PM) |
__garelier/<pm_id>/control/inspections/<category>/YYYY/MM/<date>-<topic>.md |
Scout draft / PM commit | 全員(同 PM) |
__garelier/<pm_id>/control/{project_dashboard,roadmaps,milestones,backlog,backlog_views,checkpoints,notes,risks,blueprints,decisions}/ (schema 3) |
PM direct authoring + strict validation / Decision・Blueprint status と shared mutation は transaction | 全員(同 PM) |
__garelier/<pm_id>/control/operations/ |
PM (with user) | 全員(同 PM) |
__garelier/<pm_id>/control/delegation/ |
PM (with user) | 全員(同 PM) |
__garelier/<pm_id>/control/request_intake/ |
PM (with user) | 全員(同 PM) |
__garelier/<pm_id>/control/scheduled_jobs/ |
PM (with user) | 全員(同 PM) |
__garelier/<pm_id>/control/reports/promote/ |
PM | 全員(同 PM) |
__garelier/<pm_id>/control/reports/benchmark/ |
Worker / Scout / Smith | 全員(同 PM) |
__garelier/<pm_id>/control/reports/data_audit/ |
Worker / Scout / Smith | 全員(同 PM) |
__garelier/<pm_id>/control/reports/requests/ |
PM / request_intake | 全員(同 PM) |
__garelier/<pm_id>/control/reports/delegated_requests/ |
PM | 全員(同 PM) |
__garelier/<pm_id>/control/reports/notifications/ |
owner role | 全員(同 PM) |
__garelier/<pm_id>/control/reports/scheduled_jobs/ |
owner role | 全員(同 PM) |
__garelier/<pm_id>/_crew/pm/setup_config.toml |
PM | PM, Dock |
__garelier/<pm_id>/_crew/pm/history.md |
PM | 全員(同 PM) |
__garelier/<pm_id>/_crew/pm/history/archive/YYYY-MM.md |
PM | 全員(同 PM) |
各ファイル形式の正本テンプレートは
skills/garelier-core/templates/ と skills/garelier-pm/templates/
配下にあり（assignment.md / report.md / review.md / manifest.md /
blueprint.md / inspection.md / observer_* / artisan_* /
source_registry.toml / routine_registry.toml など）、ロールは必ず
テンプレートから開始します。本書はそれを置き換えず、概要のみを示します。
ファイル所有権の正本は §2 の表と
skills/garelier-core/protocol.md（canonical）です。
Garelier の role 間ファイルは常時 compact handoff。対象は
assignment.md, report.md, questions.md, inbox notification,
manifest activity, runtime backlog。詳細は
compact_handoff.md。
次ロールが compact handoff と参照先ファイルだけで行動できることが条件。 path、command、identifier、error、date、number、commit SHA、 data-change evidence、risk statement は省略・改変しない。
Smith batch を runtime/backlog/pending.md や assignment.md に書く場合、
対象 Worker merge は #<worker_task_id>@<merge_sha> token で列挙する。
標準フィールド名は pending 側が smith_targets:、assignment / report 側が
Covered Worker merges:。dock_status.ts はこの token を数えて
Smith hardening targets remaining を表示するため、別表現へ崩さない。
- PM ID (
<pm_id>): 単一ユーザーの default は_workshop。共有・複数 ユーザーでは明示的に一意な[a-z0-9]([a-z0-9_-]{0,18}[a-z0-9])?(1–20 文字、小文字 ASCII + 数字 + 内部ハイフン/アンダースコア) を指定する。setup_wizard で決定。 - Persistent role-container ID: provider 名ではなく安定したlocal homeを表す。推奨形式は
<role>-NN(例:worker-01,worker-02,scout-01,smith-01,artisan-01)。task identityはdispatchごとに作られ、provider/model/effortを このIDへ割り当てません。同じcontainerを再利用してもtask routingは独立です。 - Worker / Scout / Smith / Librarian / Observer / Guardian / Concierge ID: 同一 PM ツリー内で一意にする。
- Target branch (
<target>): ユーザが setup 時に選択(規定:main) - Target slug (
<target-slug>):<target>の/を-に置換 (例:develop/soft→develop-soft) - Studio branch:
garelier/<target-slug>/<pm_id>/studio - Workbench branch:
garelier/<target-slug>/<pm_id>/workbench/#<N>/<short-description> - Anvil branch:
garelier/<target-slug>/<pm_id>/anvil/#<N>/<short-description> - Task ID:
BP-<N>(PM ツリー内で一意、runtime/backlog/next_idからインクリメント) - Inspection category:
tech/market/status/benchmark/data_audit/<custom> - Inspection topic file:
<YYYY-MM-DD>-<topic-slug>.md(daily/high-volume:YYYY/MM/<YYYY-MM-DD>-<topic-slug>.md)
studio land 成功後の撤去authorityは、unique な terminal-success merge
request/result pair だけである。request_id が workbench branch/tip、studio
commit、dispatch/container、current studio ancestry をexact bindする。Git
ancestryだけ、worktree欠落、request_id=nullをcleanup成功へ読み替えない。
success resultはrole branch/tipを必須で反復bindする。immutable plan digestは
観測したstudio tipとsafety predicatesをfreezeし、applyはtip完全一致を要求する。
Dockはbounded・non-reparse・identity-stableなfull resultまたはarchived resultの
単一snapshotだけをcanonical authorityとして読み、summaryはbounded一致検証にだけ使う。
live resultをretention削除する前にexact full bytesをarchived request横へno-replace公開する。
aftercare journal evidenceが存在する間は、no-op resume/provider retryがpairを再導出するため、通常の
age windowを越えてexact request/result pairをpinする。attended GCがretained container・marker・
closed journal authorityの除去を一括調整した後だけpairをpruneできる。既存journalのresumeはfresh authorityへ再照合した上で、
authenticated journal.planを同じexpected digestとapplyへ返す。
request/result/report/journal bytesとjournal revision countはbounded、ignored
untracked dataもdirtyであり、archiveはidentity検査済みの同一file handleから読んだ
bytesだけを使う。branch_onlyはlive dispatch/container bindingを破棄しない。
land_aftercare.ts dry-runはordered action、全safety predicate、immutable plan
digestを返すだけで、journal/lock/log/view/Git metadataへwriteしない。applyは
--expect-plan-digestでその観測結果をbindし、lock取得前後とも完全一致を要求する。
reviewed digestなしのautomatic apply/resume entrypointは存在しない。revision 0はdigestを
bindするwrite-once genesisで、以降は同じfrozen planのcontiguous hash chainである。
その上でrequest live lockを保持し、CAS journalを prepared → control_finalized → archived → worktree_removed → branch_removed → container_retired → views_refreshed と進め、
各destructive step直前にexact targetを再検証する。
container_retiredはlogical retirementだけを意味する。portable runtimeには
parent-handle-bound no-replace directory moveがないため、automatic aftercareはdispatch
containerをpathname経由でmove/rename/traverse/deleteしない。frozen containerを元pathで
再検証し、retirement_tombstone=null、physical_gc_pending=trueを公開する。
物理move/deleteは別authorityのattended GCだけが担い、forged/dangling quarantine pathは触らない。
authenticated logical-retirement markerはretained containerをhash-linkedな
container_retired/terminal journal recordへbindする。runtime dispatch snapshot、claim conflict、
task mirror、in-flight viewはmarkerとboundedなretained STATE.md/context.json bytesを検証し、
retired containerを決定的に除外する。
versioned envelopeはtransportでありauthorityではない。idempotency keyは
request_id・result hash・plan digestのcanonical length-delimited hash。
local ackとprovider task-mirror ackを分離する。task hookはmutable envelope cacheを
authorityにせず、coreがcanonical request/result pairと全hash-linked terminal journalを
再検証してpending operationだけを返す。provider ackはrequest/idempotency key/payload hash
にbindしたappend-only receiptであり、tamper/replayを拒否する。--sweep、
--record-touches、failed/aborted、closed-row、ungated recoveryはnon-land経路で、
terminal aftercare journalを作らない。
origin merge requestはimmutableな closure_intent でopt-inし、その merge が
landしてからSmith/runtime verificationが完了するまでの間、無関係な write に対して
一つの studio lineage を非破壊で閉じられる — 無関係 request の byte/配置/優先度は
変更・並べ替えしない。実体は integration_closure.ts の versioned CAS
state.json（last_fencing_epoch/last_terminal_digest の恒久 high-watermark +
最大 1 件の active lease）と runtime/merge_gate/closure/ 配下の append-only
terminal history。acquire/heartbeat/bind/activate/close/recover の各 write は
(lease_id, nonce, fencing_epoch, phase, record_digest) を直前に再照合し、常に
coordinator lock 配下（coordinator-first、active-slot は後）で実行する。文字列/配列/
履歴は上限を持ち、symlink・oversize・不正な record は拒否、deadline（既定 2 時間・
上限 4 時間）は acquire 時に固定され延長しない。owner の自動 reclaim は「同一host・
dead pid・deadline 経過・active gate/MERGE_HEAD 無し・record の安定再読」の全条件が
揃った時だけで、foreign host や読めない/不正な owner は常に unknown として reclaim
しない。FR10 の第 2 因子は実 OS start-time probe（systemSameProcessStillRunning:
Windows は PowerShell Get-Process StartTime、POSIX は ps -o lstart= — W-346）で
供給され、process_start_identity は記録されるだけでなく実際に照合される。terminal
history の ordinal は state.json の monotonic last_history_ordinal が正で、prune に
耐える。
W-346 で chokepoint 一式（FR5）が完結: 共通 guard（assertChokepointAllowed /
assertFinalizeOrderOk）は pollMergeGate（spawn + dead-pid/watchdog recovery）、
gate process 本体 merge-gate.ts（直接 CLI 起動でも迂回不能）、merge_request
submit、merge_land、dock_integrate、dispatch_cleanup、land_aftercare、
landing_finalize.ts 両入口の全てで強制される。block された無関係 request は
byte-identical に待機する（result なし・archive なし・並べ替えなし、FR7）。
Smith/recovery successor は FR6 reservation protocol（reserveSuccessorRequestId →
publishSuccessorRequest: 一つの coordinator critical section 内で slot CAS bind
(request_id + payload_digest) → fsync 済 temp → atomic queue rename。same-id retry は
同一 payload のみ、未 publish の rollback は deadline 内 exact fence か dead-owner
recovery CAS のみ）だけで許可され、全 allowlist identity は digest-bound — id の
コピーでは通れない。pollMergeGate は spawn 前に atomic placeholder active.lock を
作成し（子は exact nonce で adopt、double-spawn window 廃止）、active-lock 分類器の
ambiguous-owner fail-open は廃止（fail-closed、FR13）。存在するが壊れた closure
state.json は全 request kind に対し fail-closed。closure state が無い場合（production
の closure_intent constructor は未実装のため現行の全 request）は pass-through で、
既存の observable behavior を変更しない。
各 PM の __garelier/<pm_id>/ ツリーの git 取り扱い(全 PM 共通):
| Path | Git 管理 | 理由 |
|---|---|---|
__garelier/<pm_id>/control/ |
する | この PM の永続正本 |
__garelier/<pm_id>/runtime/ |
しない | 走行中状態、machine-local |
__garelier/<pm_id>/_crew/workers/<id>/ |
しない | worktree container |
__garelier/<pm_id>/_crew/scouts/<id>/ |
しない | worktree container |
__garelier/<pm_id>/_crew/smiths/<id>/ |
しない | worktree container |
__garelier/<pm_id>/_crew/dock/ |
しない | 揮発的な作業状態 |
__garelier/<pm_id>/_crew/pm/CLAUDE.md |
しない | 自動生成(ロール identity) |
__garelier/<pm_id>/_crew/pm/setup_config.toml |
する | 構成設定 |
__garelier/<pm_id>/_crew/pm/history.md |
する | この PM の永続履歴 |
DEC-051: これらの ignore ルールはネストした __garelier/.gitignore
(garelier-core の templates/runtime_gitignore を __garelier/ 相対パターンで配置:
*/runtime/, */_crew/workers/, */_crew/scouts/, */_crew/smiths/, */_crew/dock/,
*/_crew/pm/CLAUDE.md 等)に置き、プロジェクトの root .gitignore には触れません。
_crew/pm/がPM containerの唯一の正規pathです。移行前layoutのreader互換や
migration fallbackは保持しません。
git はネストした .gitignore を尊重するので全 <pm_id> に適用されつつ、root は
churn せず・他者を巻き込まず・__garelier/ 削除で ignore ルールごと消えます。
ripgrep / fd 用に同等のネスト __garelier/.ignore(templates/search_ignore)も置きます。
大量運用時は docs/retention.md / skills/garelier-core/retention.md
に従います。_crew/pm/history.md は hot index とし、古い完了 entry は
_crew/pm/history/archive/YYYY-MM.md に月別分割します。日報・定期 status・
大量 inspection は
control/inspections/<category>/YYYY/MM/YYYY-MM-DD-<topic>.md を標準にします。
Garelier が作成する協調用ブランチは 絶対にリモートへ push しません:
| ブランチ | リモート push |
|---|---|
garelier/<target-slug>/<pm_id>/studio |
しない |
garelier/<target-slug>/<pm_id>/workbench/#<N>/<slug> |
しない |
garelier/<target-slug>/<pm_id>/anvil/#<N>/<slug> |
しない |
garelier/<target-slug>/<pm_id>/shelf/#<N>/<slug> |
しない |
garelier/<target-slug>/<pm_id>/satchel/#<N>/<slug> |
しない |
garelier/<target-slug>/<pm_id>/spyglass/#<N>/<slug> (Scout, 使い捨て・DEC-021) |
しない |
garelier/<target-slug>/<pm_id>/monocle/#<N>/<slug> (Observer, 使い捨て・DEC-021) |
しない |
garelier/<target-slug>/<pm_id>/gavel/#<N>/<slug> (Guardian, 使い捨て・DEC-024) |
しない |
garelier/<target-slug>/<pm_id>/clipboard/#<N>/<slug> (Concierge, local-only・DEC-025) |
しない |
<target> (例 main) |
promote 時のみ (user 指示 + PM 承認後、Concierge が実行) |
garelier/request/... |
request-intake 機構経由のみ (opt-in) |
理由: これらは 1 開発者の 1 マシン上の協調状態 であり、
共有リモートへ漏れると別の開発者が同じ target project に
Garelier を立てられなくなる(studio 名衝突、workbench id 衝突、
Anvil id 衝突、リモートが多重 coordination state の混沌になる)。各開発者の
Garelier セッションはローカル完結とし、共有リモートに流れるのは
通常の <target> ブランチ経由(= promote)のみとします。
各ロールへの帰結:
- PM bootstrap は初期 commit をローカルで完了させ push しない。
- Worker は workbench ブランチを push しない(base-tracking rebase 後も REPORTING 遷移時も)。
- Smith は Anvil ブランチを push しない。
- Dock は studio merge 後も push しない。workbench / Anvil 削除時も
リモート側 (
git push origin --delete) を触らない。 - Garelier ロールが実行する唯一の
git pushは promote 時のgit push origin <target> --tags(= user 自身のブランチ)。
既にリモートへ garelier/* が出ている場合(過去の誤 push 等)、 削除は user の明示判断で行います。ロール側からリモート garelier/* を削除する処理は禁止(他開発者の coordination state を破壊する恐れ)。