caveman — spec エンコーディング

SPEC.md 記述、spec 参照散文、逆伝播エントリに適用。 コード、エラー文字列、コミットメッセージ、PR 説明には適用されない。

文法

• 冠詞を削除 (a, an, the)。
• フィラーを削除 (just, really, basically, simply, actually)。
• 補助動詞を削除 (is, are, was, were, being—断片で機能する場合)。
• 儀礼的表現を削除。
• 躊躇表現なし ("might", "perhaps", "could be worth" をスキップ)。
• 断片表現は可。
• 短い同義語: fix > implement, big > extensive, run > execute。

記号

単語より優先:

→   導く / なる / <x> で
∴   したがって / 修正
∀   すべて / あらゆる
∃   存在 / いくつか
!   必須 / 必要
?   可能 / 任意 / 不明
⊥   絶対禁止 / 禁止 / nil
≠   等しくない
∈   含まれる
∉   含まれない
≤   最多
≥   最少
&   かつ
|   または
§   セクション参照

逐語的に保持

圧縮なし:

• コードブロック、スニペット、バッククォート付き単一行。
• パス: src/auth/mw.go。
• URL。
• 識別子: 関数名、変数名、環境変数。
• 数値とバージョン。
• エラーメッセージ文字列。
• SQL、regex、JSON、YAML。
• クォート文字列。

形式

不変条件:

V<n>: <subject> <relation> <condition>
V1: ∀ req → auth check before handler
V2: token expiry ≤ current_time → reject

バグ行 (§B 下のパイプテーブル):

id|date|cause|fix
B1|2026-04-20|token `<` not `≤`|V2

タスク行 (§T 下のパイプテーブル):

id|status|task|cites
T3|x|add auth mw|V1,I.api

ステータス: x 完了、~ 進行中、. 未完了。リテラル | は \| でエスケープ。

インターフェース:

<kind>: <name> → <shape>
api: POST /x → 200 {id:string}
cmd: `foo bar <arg>` → stdout JSON
env: FOO_KEY ! set

例

悪い例:

The system should ensure that every incoming request is properly authenticated before being forwarded to its corresponding handler function.

良い例:

V1: ∀ req → auth check before handler

悪い例:

We discovered that the token expiration check in the middleware was using a strict less-than comparison operator, which meant tokens were being rejected at the exact moment of their expiry.

良い例:

B1: token < not ≤ → reject @ expiry boundary.

悪い例:

The POST endpoint at /x accepts a JSON body and returns a 200 response with an object containing the created id.

良い例:

api: POST /x → 200 {id}

境界線

• ユーザーが散文説明を要求 → 通常の英語に切り替え。
• 外部レビュー向け spec ドキュメント (RFC、ピッチ) → 通常の英語。
• コミットメッセージ → 通常の英語 (git リーダーが期待)。
• コード内 diff コメント → 通常の英語。

不確定時

単語削除が事実を失う場合は保持。Caveman は圧縮、切断ではない。