Request を contract にし、verified code に変える。
CafeKit は重要な truth を chat の外に置きます。Assistant は contract を先に書き、approved task packet を実装し、evidence で prove して state を sync します。
人が変更を依頼します。
C1/C2 scope、plan、flat tasks が durable files になります。
Assistant が approved task packet を 1 つ実装します。
Real commands と runtime proof で結果を確認します。
別 pass で compliance と risk を確認します。
Evidence がある時だけ state を進めます。
Simple version#
Spec は chat memory ではなく durable contract です。New work は specs/<feature>/plan.md と flat task-NN-*.md に保存します。
Code 変更前に何を作るかを書きます。
Approved task boundary だけを実装します。
Commands を実行し exact evidence を記録します。
Proof 後に task Status と inline Receipt を更新します。
Artifact questions#
Approved C1/C2 scope、task index、ownership、dependencies、completion boundary。
Outcome、Scope、Acceptance、Verification Plan を持つ flat task。
Exact command、exit、current Base/Head、non-empty current output。
| Artifact | Question |
|---|---|
plan.md | Approved outcome、scope、exclusions、acceptance、decisions、task map は何か? |
task-NN-*.md | 今 executable な one outcome、owner、required exact proof は何か? |
Final inline ## Receipt | Task pass を証明する current command と output は何か? |
Working rule#
- Intent または architecture が未解決な間だけ brainstorm。
- Specs は C1 を開き、plan/tasks を作り、C2 findings を提示。
- Planning stop。New explicit develop invocation だけが work を開始。
- Develop は one unblocked task を実行し、test と code review が verify。
- Observed Status/proof だけを sync。C3 で user が completion を決定。
Substantial、risk-elevated、multi-file、runtime、data、auth、package、handoff-sensitive work では full path を使います。Clear isolated one/two-file routine change は direct work が可能です。
Core workflow と Spec lifecycle を参照してください。