Skip to content

scaffold.py: 中間表現のケースの ref(仕様の中の番号)が原文に在るかを生成と --check で見る(#465) - #483

Open
hdknr wants to merge 6 commits into
mainfrom
issue/465-scaffold-rules-check
Open

hdknr wants to merge 6 commits into
mainfrom
issue/465-scaffold-rules-check

Conversation

@hdknr

@hdknr hdknr commented Oct 27, 2026

Copy link
Copy Markdown
Owner

Fixes #465

cruise #474 の周(不在の周。/dev-loop:cruise 474 --absent)。

変更

仕様の穴(不在の線で推奨により決めた)

値(入力・期待)は突き合わせない・ref は任意——確認の Issue: #482。
#465 の実データ(番号を残したまま値だけ変えた)は、この直し方では拾えない。

確かめたこと

  • scripts/test-scaffold.py: OK: 試料 208 件・変異 153 件
  • scripts/check-all.py: 52/52

関門

直す線: 既定。採否の表は docs/plans/issue-465.md。

パス Verifier(sonnet) /code-review(high)
1 パス目 反証 2 件 指摘 7 件
2 パス目 反証 1 件 指摘 8 件
狭いパス 指摘 2 件(下) —

マージの前に判断をお願いするもの

  • P1(重い): v2 で既存のケースに ref を足すと、機能の比較(compare_maps)と指紋(fingerprint)が機能を「変更」とみなす——Red テストは変わらないのに変更の Issue の本文が出て、登録済みの Issue の指紋も古くなる(読解。走らせていない)。SKILL.md は既存の中間表現にも ref を書くよう指示しているので、v2 の正本リポジトリで踏む。直すなら ref を比較と指紋から外す
  • 狭いパスの指摘: (1) 全角の区切り・全角の数字(R-F10.1・R-F10.1)を別の番号とみなさない (2) 境界の文字クラスの要素 12 件(_・-・全角の数字・: など)を 1 つずつ欠く変異が、ref の試料では素通りする

残課題(直していない指摘)

  • CR5: check_ref の原文の選び方が check_source の写しで、spec/spec_ir.json を読みうる(今は check_source が 1 にする)
  • CR6: 読めない原文を黙って飛ばし「書き起こしの誤り」と言う
  • P4: SKILL.md の「仕様の後からの修正とのずれを拾う」が言い過ぎ(値は見ない・取り消し線やコメントの中の番号も在ることにする)
  • P6: ケースごとに原文を読み直す(N×M)

マージ

不在の cruise はここで止まる(#476)。#477・#479・#481 と同じく spec-loop の版を上げている——先にマージした側に合わせて、後の側は main を取り込んで版を上げ直す。

🤖 Generated with Claude Code

hdknr and others added 6 commits October 27, 2026 21:02
値は突き合わせない(仕様の穴として推奨で決めた。確認は #482)。

Fixes #465

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

spec-loop: scaffold.py --check が rules.md(決定表)と spec_ir.json の一致を見ない

1 participant