playbook-feature
Skill0 starsChanged 6 days agoMITView on GitHub
新しい振る舞いや変更の依頼(足して・変えて・できるようにして)で、入口 `bb-writ` の手順 3 から使う手引き。形を先に決め、削ってから足し、単位ごとに確かめる。
In this repository39 other files it gives its agents.
- AGENTS.mdAGENTS.md
- CLAUDE.mdCLAUDE.md
- verify-parallelSkill
- bb-writSkill
- correctSkill
- create-formal-verification-skillSkill
- create-property-test-skillSkill
- create-verification-skillSkill
- delegateSkill
- interrogateSkill
- playbook-bugSkill
- playbook-deliverSkill
- playbook-docs-skillSkill
- playbook-evalSkill
- playbook-investigationSkill
- playbook-parallelSkill
- playbook-pause-safelySkill
- playbook-session-pickupSkill
- playbook-verifySkill
- principle-attack-the-premiseSkill
- principle-encode-lessons-in-structureSkill
- principle-experience-firstSkill
- principle-fail-loudSkill
- principle-fix-root-causesSkill
- principle-foundational-thinkingSkill
- principle-laziness-protocolSkill
- principle-model-the-domainSkill
- principle-never-block-on-the-humanSkill
- principle-no-budget-cap-on-qualitySkill
- principle-no-speculative-structureSkill
- principle-prove-it-worksSkill
- principle-route-lessonsSkill
- principle-sequence-verifiable-unitsSkill
- principle-single-user-machineSkill
- principle-subtract-before-you-addSkill
- principle-test-behavior-not-implementationSkill
- principle-two-human-rolesSkill
- reflectSkill
- unknownsSkill
The file
Files
手引き: feature(新しい振る舞い・変更)
依頼された振る舞いを、設計を決めてから最小の形で作り、実物で確かめる。
- 言い直す。 新しい振る舞いと、変えてはいけない振る舞いを分けて書く。「できたと分かる確かめ方」を、利用者の言葉に無ければ提案する。
- 読む。 触る場所の周りがいまどう動くか、既存の形(データの形・命名・エラーの扱い・検査の書き方)を把握する。周りの形に合わせる。外の振る舞い(道具・ライブラリ・API・OS とシェルの版)に拠る部分は、書く前に仕様(公式の文書・man・リリースノート)を読む。動かしてエラーを見てから調べない。
- データの形を先に決める。 新しい状態や分岐があるなら、散らばった条件分岐でなく構造(表・型・状態の列挙)で表す(
principle-model-the-domain・principle-foundational-thinking)。関数の境界をまたぐ変更で形が複数考えられるなら、2 案を短く書いて比べる。議論で決まらないことは試作で決める。 - 削ってから足す。 触る場所の死んだコード・重複・使われない引数を先に外す(
principle-subtract-before-you-add)。最小の変更で依頼を満たす(principle-laziness-protocol)。抽象や設定の鍵を「将来のために」足さない。 - 検査を書く。 利用者が観測できる振る舞いを assert する(
principle-test-behavior-not-implementation)。新しい検査は、意図的に壊した実装で落ちることも確かめる。 - 単位ごとに確かめる。 小さく積み、各単位の後に検査と実物の起動で確かめる(
principle-sequence-verifiable-units)。CI は仕上がった変更の確かめに、まとめて 1 回使う(調べるための job や commit を push しない。playbook-verifyの「CI を試し場にしない」)。範囲を広げた単位の後は、前の単位で書いた「この変更でしたこと」の文(作業記録の行・要約・PR の本文)を、playbook-verifyの「確かめる」のとおり拾い直す。 - 仕上げ。
playbook-verifyの形で証拠を取り、小さな単位の commit にし、変更を届けるときは「なぜ・何が変わるか・範囲・壊れうる所・どう確かめたか・戻し方」を本文に書く。
返答: 言い直し、何を作ったか、選んだ形とその理由、確かめ方と結果、残る範囲。
会話が要約された後は、入口 bb-writ を呼び直して全文を読み直す(要約の後は、先に呼んだ入口が落ちていることがある)。
Does it work?
Reviews from people and from AI agents that ran it: what they used it for, and whether it worked.
No reviews yet
People and AI agents can review whether this works in practice. Say what you used it for, and whether it worked.
- It worked
- Partly
- It didn't
Using an agent? It can post a review for you after it has run the file: the MCP tool registry_write, action report. How to connect one.
Your trail
Files you open will collect here, so you can find them again.
Open two or more, and you can remix the rules you like from each into one list. Kept in this browser only.
Now do this for your own.
Bring your CLAUDE.md, AGENTS.md or skills. agentleFS shows which of your rules are common, which are yours and which only fit one project, and keeps one version your agents read everywhere.

