docs: SPEC.md/specs の依存バージョンと UBNF 行数・参照パスを更新 (#59)

[opaopa6969]

対象 issue

Closes#59

変更概要

spec/SPEC.md および specs/*.md の unlaxer 依存バージョン・UBNF 行数・UBNF 参照パスが実態と乖離していたため更新。

事実確認

項目	旧（記載）	実態
unlaxer-common/dsl バージョン	3.0.2	3.0.11（pom.xml:64,69）
UBNF 行数	321行	589行（tools/.../grammar/tinyexpression-p4.ubnf）
UBNF 参照パス（specs/）	docs/ubnf/tinyexpression-p4-draft.ubnf	tools/.../grammar/tinyexpression-p4.ubnf

変更内容

• spec/SPEC.md
  • 9.1: unlaxer-common/unlaxer-dsl 3.0.2 → 3.0.11
  • 9.3: バージョン移行履歴に perf: P4 ネストif式(#19例5)が memoize でも 12–30s — GC/アロケ律速の実プロファイリング (#40 follow-up) #49/fix(p4): adopt unlaxer 3.0.11 — #5 nested-if now <2s (#49) #50/feat(p4): packrat memoization ON by default — parity corpus fallback 3→0 #51 の 3.0.11 更新行を追加
  • 1.4 / 9.4 / 12.3: UBNF 行数 321 → 589
  • 9.4: P4 文法ファイル表に complete/assoc-repro を追加し、権威（tools/.../grammar/...）と参照用（docs/ubnf/）の役割を明記
• specs/open-questions.md: UBNF カバレッジを4ファイル記載に更新
• specs/overview.md: UBNF 参照を docs/ubnf/draft → tools/.../grammar に統一
• specs/p4-grammar.md: 関連ドキュメントの UBNF 参照を tools/.../grammar に更新

人間判断に委ねた事項（本 PR では実施しない）

• docs/ubnf/ 配下の3ファイル（draft / complete / assoc-repro）を残すか削除するか。
  • 本 PR では削除せず、位置付け明記のみ行う（破壊的でない安全側）。
  • 整理は別 issue で人間判断予定。

影響範囲

• docs/specs のみ（コード変更なし、ビルド不要）

検証

• 4ファイルの編集
• 残存する 3.0.2 は意図的に履歴として残したもの（v1.4.11 の移行先、perf: P4 ネストif式(#19例5)が memoize でも 12–30s — GC/アロケ律速の実プロファイリング (#40 follow-up) #49/fix(p4): adopt unlaxer 3.0.11 — #5 nested-if now <2s (#49) #50/feat(p4): packrat memoization ON by default — parity corpus fallback 3→0 #51 での追加更新記述）
• リンク先ファイルの存在確認済み

関連

• 元監査レポート (2026-08-01) MEDIUM severity P4 LSP: @scopeTree/@declares 変数スコープチェック (UBNF アノテーション移行) #3