Skip to content

docs(ai-loop): Run-012 — F-27/F-28 正本化 + auto-merge 廃止の運用反映#759

Merged
s977043 merged 2 commits into
mainfrom
ai-loop/run-012-f27-f28
Jul 7, 2026
Merged

docs(ai-loop): Run-012 — F-27/F-28 正本化 + auto-merge 廃止の運用反映#759
s977043 merged 2 commits into
mainfrom
ai-loop/run-012-f27-f28

Conversation

@s977043

@s977043 s977043 commented Jul 7, 2026

Copy link
Copy Markdown
Owner

Summary

ai-loop Run-012(F-27/F-28 の実践済み規律の正本化)。run 途中の Human 指示「auto-mergeを設定するのはやめたい」を Round 3 で反映し、締め処理の正本を「レビュー着弾確認 → 指摘対応 → merge-ready 報告(auto-merge 不使用・マージは Human)」に確定した。

ファイル 変更
execution-runbook.md §2-(7) 手順3 F-27 対策の置換: AI レビュー着弾確認を必須工程化 + auto-merge 廃止 + merge-ready 報告(responsibility-classes の merge Human-owned と整合)
loopspec.md F-28: ログ・台帳系 AC の厳密形(ID 収録は表行限定 / append-only 検証は基準コミット比の削除行ゼロ)を F-12 注記直後に追記
run-012-loopspec.md LoopSpec + R1-R3 改訂 + consolidated AC ブロック(時点記録・追記のみ)
run-001-frictions.md F-29(PASS 方向実測は AC 閾値そのもので)/ F-30(AC 改訂時は consolidated ブロック追記)/ F-31(Human 指示の途中注入への両輪追従)を追記
20260707T092419Z-*-run012-r3.json arbiter 刻印: A✓/B✗(logic) → C✗/D✓ 不一致 → HUMAN_ESCALATED(Human 選択 1 で解消)

ガバナンス証跡

  • W チェック 3 ラウンド(B の logic 指摘 2 件を採用: AC-1 事前検証の自己矛盾 / YAML 旧 AC 残置の機械可読性)
  • HUMAN_ESCALATED → Human が選択肢 1(consolidated deterministic ブロック追記・監査記録不変と機械可読性の両立)を採択
  • consolidated AC 4 件: maker 実行 + orchestrator 独立再実行の二重で全 exit 0
  • boundary: clean(docs/workflows/ai-loop/** + docs/working/ai-loop-runs/** のみ・HO 非接触)

注記

diff にはテーブル整形フック由来の区切り行揃えが含まれる(git diff -w での実質差分は計画どおりの 2 挿入のみを確認済み)。

🤖 Generated with Claude Code

- execution-runbook §2-(7) 手順3: AI レビュー着弾確認 → 指摘対応 → merge-ready 報告の
  順序を明文化。auto-merge は使用しない(2026-07-07 Human 指示・merge は Human-owned)
- loopspec.md: ログ・台帳系 AC の厳密形(表行限定 / 基準コミット比の削除行ゼロ)を追記(F-28)
- run 記録: W チェック R1-R3(B の logic 指摘 2 件採用)→ C/D 不一致 → HUMAN_ESCALATED
  刻印 → Human 選択 1(consolidated AC ブロック追記方式)で解消。摩擦 F-29/F-30/F-31 記録

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Copilot AI review requested due to automatic review settings July 7, 2026 09:47

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

@github-actions

github-actions Bot commented Jul 7, 2026

Copy link
Copy Markdown
Contributor

Check PR Issue Link: WARN: no closing keyword found (expected one of: closes #N / fixes #N / resolves #N)

  • 推奨: PR 本文に closes #N / fixes #N / resolves #N を含めてください
  • 対象外の場合: PR に chore / documentation ラベルを付けるか、PR 本文に <!-- skip-issue-link-check --> を含めてください
  • 詳細: Issue #159

@gemini-code-assist gemini-code-assist Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Code Review

This pull request updates the AI loop execution runbook and loopspec documentation to formalize waiting for AI reviews, disabling auto-merge, and using strict validation rules for log/ledger acceptance criteria. It also adds the run log and friction records for Run-012. The review feedback correctly identifies a regular expression issue in both loopspec.md and run-012-loopspec.md where the pipe character in ^| ID is unescaped, causing it to act as an alternation operator instead of matching a literal pipe.

Important

The consumer version of Gemini Code Assist on GitHub is being sunset. Starting June 18, 2026, new organization installations will be blocked, and all code review activity will officially cease on July 17, 2026.
For more details on the timeline and next steps, please review the Help Documentation.

Comment thread docs/workflows/ai-loop/loopspec.md Outdated

deterministic の各コマンドは、計画時に**実機で PASS/FAIL 両方向**(PASS する入力と FAIL する入力の双方)の挙動を確認してから AC に採用する。環境差 — BSD/GNU 等 — でサイレントに空を返す・ハードエラーになるコマンドの混入を防ぐ(実例: Run-003 R1/R2・Run-004 R1)。

ログ・台帳系の AC は厳密形を用いる — ID 収録は表行限定(行頭 `^| ID` 一致)、

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

medium

正規表現として ^| ID と記述すると、パイプ記号 | がエスケープされていないため、「行頭(^)」または「 ID」というオルタネーション(OR)の意味になってしまい、すべての行の行頭にマッチしてしまいます。表のパイプ記号にマッチさせるためには、^\| ID のようにパイプ記号をバックスラッシュでエスケープする必要があります。

Suggested change
ログ・台帳系の AC は厳密形を用いる — ID 収録は表行限定(行頭 `^| ID` 一致)、
ログ・台帳系の AC は厳密形を用いる — ID 収録は表行限定(行頭 `^\| ID` 一致)、

**理由付きで不採用とする**かを記録する。
**auto-merge の arm は、指摘対応完了(または指摘なしの確認)の後に行う**。」
2. **loopspec.md** の deterministic フィールド注記(F-12 文の周辺)に 1 文:
「ログ・台帳系の AC は厳密形を用いる — ID 収録は表行限定(行頭 `^| ID` 一致)、

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

medium

正規表現として ^| ID と記述すると、パイプ記号 | がエスケープされていないため、「行頭(^)」または「 ID」というオルタネーション(OR)の意味になってしまい、すべての行の行頭にマッチしてしまいます。表のパイプ記号にマッチさせるためには、^\| ID のようにパイプ記号をバックスラッシュでエスケープする必要があります。

Suggested change
「ログ・台帳系の AC は厳密形を用いる — ID 収録は表行限定(行頭 `^| ID` 一致)、
「ログ・台帳系の AC は厳密形を用いる — ID 収録は表行限定(行頭 `^\| ID` 一致)、

- loopspec.md: `^| ID` → `^\| ID`(未エスケープはオルタネーションになり全行マッチ)
- run-012-loopspec.md: Round 1 本文は監査記録として不変のまま事後注記で訂正

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
@s977043

s977043 commented Jul 7, 2026

Copy link
Copy Markdown
Owner Author

Gemini レビュー指摘 2 件(medium・同一内容)に対応しました:

  1. loopspec.md(正本): ^| ID^\| ID に修正(採用。未エスケープのパイプはオルタネーションとなり全行にマッチ — 摩擦記録 F-28 原文は ^\| F-$i とエスケープ済みで、転記時の脱落でした)
  2. run-012-loopspec.md: Round 1 本文は監査記録不変原則(design-philosophy 由来の運用)により遡及編集せず、事後注記で訂正を記録(採用・方式のみ変更)

AC-2(固定句「削除行ゼロ」)・markdownlint とも再検証 PASS。

@s977043 s977043 merged commit 94c9882 into main Jul 7, 2026
9 checks passed
@s977043 s977043 deleted the ai-loop/run-012-f27-f28 branch July 7, 2026 09:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants