Low: Miscellaneous code quality issues from AGENTS.md audit

[shinaoka]

Triage (origin/main 834d0be): mixed / actionable。QuanticsGrids.jl/QuanticsTCI.jl の @autodocs 不在は設計判断の余地あり。

AGENTS.md 監査で見つかった優先度低の項目群です。

1. SKELETON_PHASE に docstring がない (src/Tensor4all.jl:17)

const SKELETON_PHASE = true

AGENTS.md の「Every exported type and function should have a concise docstring」に違反。この const が何を意味し、いつ false になるのかを説明する docstring が必要。

2. 7 つのサブモジュールにモジュールレベルの docstring がない

TensorNetworks, ITensorCompat, SimpleTT, TensorCI, QuanticsGrids, QuanticsTCI, QuanticsTransform の各 module ... end ブロックに docstring がない。

3. docs/make.jl の warnonly=[:missing_docs] 設定

checkdocs=:exports で exported symbol の docstring 不足をチェックしているが、warnonly=[:missing_docs] により警告止まりで CI が失敗しない。

4. check_autodocs_coverage.jl が exported but undocumented シンボルを検出しない

CI スクリプトは「docstring がある public シンボル」のみをチェックし、「export されているが undocumented なシンボル」はチェックしない。AGENTS.md の「public (exported or documented) symbols」の定義と乖離がある。

5. QuanticsGrids.jl / QuanticsTCI.jl の @autodocs 未掲載 (設計判断)

docs/src/api.md の "Adopted Modules" で upstream docs への導線として明示されており、ローカル @autodocs に載せない判断はありえる。Tensor4all 側で wrapper module 自体を docs 化するかの設計判断として扱う。

[shinaoka]

監査結果 (origin/main 834d0be): mixed / actionable です。

妥当な指摘:

• src/Tensor4all.jl の exported const SKELETON_PHASE は docstring なしで export されています。
• TensorNetworks、ITensorCompat、SimpleTT、TensorCI、QuanticsGrids、QuanticsTCI、QuanticsTransform はいずれも module ... から始まっており、module-level docstring はありません。
• docs/make.jl は checkdocs=:exports の一方で warnonly=[:missing_docs] になっているため、missing docs は docs build を fail しません。
• scripts/check_autodocs_coverage.jl はコメント通り「docstring がある public symbol を含むファイルが @autodocs Pages に入っているか」を見るスクリプトで、export されているが未ドキュメントの symbol は検出しません。この点は issue の指摘通りです。

注意点:

• QuanticsGrids.jl と QuanticsTCI.jl は docs/src/api.md の “Adopted Modules” で upstream docs への導線として明示されており、ローカル @autodocs に載せない判断はありえます。ここは「必ず不具合」とまでは言わず、Tensor4all 側で wrapper module 自体を docs 化する方針にするかの設計判断として扱うのがよさそうです。