Pre-choice usable artifact execution

Purpose & Output Contractの最小の実成果物をmain contextで作成する。effect別のparse/open・secret・irreversible・corrupt guardだけを実行し、現物path・digest・開き方を提示してからaccept-as-is/light/standard/detailedを記録する。accept-as-isはその場でhandoff完了とし、後続sectionを実行しない。

Post-choice selected improvement execution

以下の既存workflow・goal-seek・評価・修正sectionはlight/standard/detailedが記録されてsemantic_evaluator_startedへ遷移した場合だけ実行する。release/exhaustiveは別の明示eventを必要とする。

run-dev-graph-decompose

Purpose & Output Contract

• 入力: 大きな want、feature 粒度/依存方針、C24/C11 検証済み graph context、任意の system-dev-planner package。
• 出力: feature/architecture/機能間 DAG の macro report、ready feature ごとの exact-13 package receipt、binding 別 publication report。
• 完了条件: macro DAG に phase-task 混入0、ready package が P01..P13 exact-set、自動/手動経路の二重登録0、dry-run write 0 である。

Hard boundary

dev-graph はマクロ層: purpose/goal/scope/acceptance を持つ feature、共有 architecture node、feature 間 depends_on を所有する。system-dev-planner はミクロ層: 1 feature から P01..P13 の13 task specs/DAG/package を所有する。本 skill が phase task を独自生成してはならない。

Macro flow

1. 大きな want、feature 粒度、依存推定方針、dry-run を確認する。
2. want を feature 候補と architecture context に分解し、各 feature に purpose/goal/scope_in/scope_out/acceptance/architecture_refs を付ける。循環と実装粒度の task 混入を独立 auditor で拒否する。
3. C02 preview/atomic writer で macro graph を登録する。draft/unconfirmed/readiness incomplete は tracker 投影しない。
4. feature 間依存が満たされた ready feature ごとに run-system-dev-plan を Skill 呼出しする。--manual-plan//system-dev-plan 結果も同じ package gate へ入れる。
5. P01..P13 exact 13、共通 parent/package、13-node DAG、source digest を検証し、C02 register-package へ渡す。graph_node_id+source_digest で自動/手動の二重登録を防ぐ。
6. beads は C28 create/dep-add、github は build-github-projection.py (gh 操作はすべて C12 gh-bridge 経由) で本文 marker dev-graph:<graph_node_id> を同一性とする Issue 一つと任意 Projects item 一つ、none は local only。mode=both+auto、github+local_only、beads+GitHub Issue mutation は fail-closed。

local commit 後の外部失敗は rollback せず node/operation 単位 pending_retry とし、build-github-projection.py --retry-from <report> でその operation だけを再実行する。--dry-run は local/Beads/GitHub write 0。出力は macro report、per-feature package receipt、publication report。

ゴールシーク実行

ゴール (Goal)

自然文の「やりたいこと(大)」からfeatureノード群+architectureノード+機能間depends_onを生成するマクロ分解を行い、ready featureごとにsystem-dev-planner(ミクロ層)を自動起動または手動/system-dev-plan実行結果を受理してpromoted typed task群をparent_feature付きでC02へatomic登録し、binding=beadsはC28へissue/依存edge、binding=githubはC12へIssue/任意Projects、binding=noneはローカルのみへ冪等投影した状態になっている

目的・背景 (Why)

マクロ (feature/architecture/機能間依存の保持+実行オーケストレーション) とミクロ (1 feature→13タスク仕様書) の責務混線を避けるため、C14は自然文のwantをfeature+architecture+機能間depends_onへ分解するところまでを担い、feature単位の細タスク仕様書生成はexternal plugin system-dev-planner (external_contract_ref: plugin-plans/system-dev-planner/handoff-run-plugin-dev-plan.json) へ委譲する。ready feature (機能間depends_on充足) ごとに [自動] run-system-dev-planをSkill呼出しでpurpose/goal/scope_in/scope_out/acceptance/architecture_refsを入力文脈として渡し、[手動] 人間の/system-dev-plan実行結果も同じ入口として受理する。両経路が返すpromoted typed taskはgraph_node_id+source_digestを冪等キーにC02単一writer経由でparent_feature=当該featureとしてatomic登録し、二重登録を防ぐ。既存の「自然文とpromoted system taskの入口一本化」責務は維持し、tracker_binding_intentはC02がrepo-configと照合して解決し、mode=bothのautoは拒否する。beadsはC28 create/dep-add、githubはC12 Issue/Projects、noneはlocal graphだけへ投影する。GitHub binding+local_onlyは未管理taskを生むため拒否する

完了チェックリスト

• macro result が feature/architecture/機能間 depends_on だけを持ち循環と phase-task 混入が0件である
• draft/unconfirmed/evaluation非pass/readiness非complete の tracker publication が0件である
• 各 ready feature package が P01..P13 exact 13、共通 parent/package、13-node DAG を満たす
• C02 local commit が all-or-none で、自動/手動経路の重複 node が0件である
• beads/github/none の各 task が単一 projection authority と linkage を持つ
• --dry-run の local/Beads/GitHub/Projects write count が0である

ゴールシークループ

frontmatter の goal_seek.engine: inline / fork: subagent / max_loops: 5 を実行契約とする。固定手順は使わず、未達 checklist と担当 prompts/*.md からその周回の操作を都度生成する。各周回で inner criterion を検証し、完了後は outer criterion の live trial/content review を最大 feedback_contract.max_iterations=3 周で評価する。

ゴールシーク配線

• 開始時に C24 resolve-repo-context.py --mode write の JSON receipt を得て、repo_root が content_roots.repository の realpath と一致する場合だけ DEV_GRAPH_ROOT=<receipt.repo_root> に固定する。cwd から再解決しない。
• 元のゴールを $DEV_GRAPH_ROOT/eval-log/run-dev-graph-decompose-goal-spec.json へ、各 checklist の status/evidence を $DEV_GRAPH_ROOT/eval-log/run-dev-graph-decompose-progress.json へ記録する。
• 未達 responsibility を担当する prompts/<R-id>.md を読み、Agent で分離 context に fork する。ユーザー判断が必要な境界だけ AskUserQuestion を使う。
• 各周回末に $DEV_GRAPH_ROOT/eval-log/run-dev-graph-decompose-intermediate.jsonl へ original_goal、original_goal_hash、current_goal_snapshot、delta_from_original、merged_directive_for_next、drift_signal を append-only で記録する。次周回は直前の merged_directive_for_next を必須入力にする。
• 5周到達時に未達が残れば完了扱いせず、progress と blocker を親へ handoff する。全 checklist と feedback_contract.criteria が PASS のときだけ完了する。

ゴールシーク検証

各周回後に次の検査を実行し、中間成果物の欠落・goal drift・hash 不一致を fail-closed にする。

python3 - "$DEV_GRAPH_ROOT/eval-log/run-dev-graph-decompose-goal-spec.json" "$DEV_GRAPH_ROOT/eval-log/run-dev-graph-decompose-intermediate.jsonl" <<'PY'
import hashlib, json, sys
goal = json.load(open(sys.argv[1], encoding='utf-8'))
rows = [json.loads(line) for line in open(sys.argv[2], encoding='utf-8') if line.strip()]
required_keys = {'original_goal','original_goal_hash','current_goal_snapshot','delta_from_original','merged_directive_for_next','drift_signal'}
expected = hashlib.sha256(goal['original_goal'].encode('utf-8')).hexdigest()
assert rows, 'intermediate.jsonl is empty'
for row in rows:
    assert required_keys <= row.keys(), required_keys - row.keys()
    assert row['original_goal'] == goal['original_goal']
    assert row['original_goal_hash'] == expected
PY

Criteria acceptance

• criteria:IN1: validate-graph-schema.pyで生成nodeを検証し必須キー欠落が0件である。
• criteria:OUT1: feature+architecture DAGは循環なし・task粒度混入なしで、評価前draftのIssue起票は0件、tracker投影はconfirmed/pass/readiness completeだけに限定する。
• criteria:OUT2: 同一入力を二回実行してもbinding=beadsはbd issue/blocks edge、binding=githubはIssue/Project item、binding=noneはlocal nodeを各一組だけ維持する。
• criteria:OUT3: --dry-runはlocal/Beads/GitHub/Projects write 0件である。
• criteria:OUT4: mode=both+auto、github+local_only、beads+Issue publicationの各authority衝突をfail-closedにし、外部write 0件にする。
• criteria:OUT5: local batch成功後の外部失敗は対象operationだけをpending_retryから冪等再実行する。
• criteria:OUT6: 同一ready featureの自動起動を重ねてもP01..P13 exact 13は一組だけで、全taskのparent_featureとfeature_package_idが一致する。
• criteria:OUT7: 自動経路と手動/system-dev-plan経路は同一parent featureへ収束し二重登録0件である。

Gotchas

• dev-graph は macro feature/DAG だけを作り、P01..P13 task spec 生成を再実装しない。
• draft/unconfirmed/readiness incomplete の feature/task を tracker へ投影しない。
• 自動と手動の planner 結果を別 gate にせず、同じ graph_node_id+source_digest の冪等キーへ収束させる。
• local commit 後の外部失敗で macro graph を rollback せず、失敗 operation だけを pending_retry に残す。
• mode=both+auto、github+local_only、beads+Issue mutation は authority 衝突として fail-closed にする。