Skip to content

Align D4 inline admission before freeze (#488) - #489

Merged
Kewton merged 1 commit into
developfrom
feature/issue-488-cli-acceptance-d4-inline
Sep 16, 2026
Merged

Kewton merged 1 commit into
developfrom
feature/issue-488-cli-acceptance-d4-inline

Conversation

@Kewton

@Kewton Kewton commented Sep 16, 2026

Copy link
Copy Markdown
Owner

Problem and change

D4のO/V1/SWALLOWは既存の形成段階で再提案になっていましたが、直接登録では固定でき、要求を保つV2への書換えも拒否されていました。

Next.js/createの当該run所有・未設定の生成契約を対象に、最終判定と同じ分類・要求評価を使って新規inline検査を登録前に検査します。3つの登録入口で候補全体を先に検査し、不適格な候補があれば契約や作成義務を書き換えません。

D4の文字列検査には、対象ファイル・条件・順序・診断文・成功出力を維持する限定的な書換えを追加しました。元の要求と書換えの対応を記録し、条件欠落や失敗の握りつぶしを拒否します。既存のモデル/hostの担当・出力義務、3回の提案上限、最終判定、profile・identityの各gateを維持します。

Validation

  • 新規12テスト:実Nodeの24条件、最終実行の24条件、3登録入口の24組、実際のmock要求・返却plan・fallbackを確認。
  • 関連53テスト、corpus 7テスト、generality guardrails 10テスト、protection coverage audit 2テストが成功。
  • cargo fmt --all -- --checkcargo clippy --all-targets -- -D warnings、sandbox外のcargo testが成功。
  • 全10受入条件の対応と途中の失敗・修正は dev-reports/issue-488/verification.md に記録。

Scope of evidence

保存コマンドの文字列とSHA-256は元のD4対照と一致します。fixtureは縮小した文字列検査用で、業務負例・compile負例は明示した合成対照です。live modelやブラウザーでの実アプリ成功は示していません。shell実行と分類parserから組み立てた直接Node実行の終了結果を比較しており、shellプロセスのargv自体は観測していません。

Tracks #488

@Kewton Kewton changed the title #488 [cli][acceptance] D4対照を回帰化し、新規inline検査の固定前受付と最終判定を整合させる Align D4 inline admission before freeze (#488) Sep 16, 2026
@Kewton
Kewton marked this pull request as ready for review September 16, 2026 17:03
@Kewton
Kewton merged commit b13ef09 into develop Sep 16, 2026
5 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.

1 participant