現状
JSON 型 sidecar は (func_id, varname) キーで管理しているため、同一関数内で同じ変数名に対して異なる型の decode を 2 回行うと、後の型情報が前を上書きする。理論上の問題で、実用パターンでの実害は薄い(wave 28 レビューで Minor 判定、最終レビューでも issue 化判定)。
対応案
sidecar キーに出現位置(文番号等)を加えるか、再 decode 時に型が変わる場合を診断する。優先度低。
出典
wave 28 タスクレビュー Minor → dsl-v2 最終 whole-branch レビュー triage(issue 化判定)。
現状
JSON 型 sidecar は
(func_id, varname)キーで管理しているため、同一関数内で同じ変数名に対して異なる型の decode を 2 回行うと、後の型情報が前を上書きする。理論上の問題で、実用パターンでの実害は薄い(wave 28 レビューで Minor 判定、最終レビューでも issue 化判定)。対応案
sidecar キーに出現位置(文番号等)を加えるか、再 decode 時に型が変わる場合を診断する。優先度低。
出典
wave 28 タスクレビュー Minor → dsl-v2 最終 whole-branch レビュー triage(issue 化判定)。