Skip to content

既存Contract条項のEvidence登録を可能にする - #21

Merged
piaro merged 1 commit into
mainfrom
feat/explicit-contract-verification
Aug 10, 2026
Merged

piaro merged 1 commit into
mainfrom
feat/explicit-contract-verification

Conversation

@piaro

@piaro piaro commented Aug 10, 2026

Copy link
Copy Markdown
Owner

目的

既存実装をADFへ移行するとき、今回の実装影響を偽って申告せずに、未検証のContract条項へEvidenceを登録できるようにします。

Closes #20

変更内容

  • change init --verify-clause <contract#clause>を繰り返し指定できるようにした
  • Change Recordへ任意のverification_scopeを追加した
  • 指定した条項が未検証でも、通常のBuilder Evidence作業を発行するようにした
  • 指定していない未検証条項は変更を止めない
  • 存在しない条項と、人のレビューだけを求める条項はエラーにする
  • CLI、Schema bundle、Skill、README、日本語解説、MCP設計資料、Goldenを同時に更新した

確認

  • cargo fmt --check
  • cargo clippy --all-targets --locked -- -D warnings
  • cargo test --locked
  • sh scripts/tests/test-rust.sh

すべて成功しています。

@piaro
piaro merged commit da82dcc into main Aug 10, 2026
3 checks passed
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.

未検証のContract条項をEvidence登録対象に選べるようにする

1 participant