[V3-05] 静的解析と所有権・型によるメモリー安全性を改善する #119

親トラッカー: #114

目的・成果物

Analyzer/tidyの既存指摘一覧、RAII・借用buffer・状態/値の型・compile時検証による安全性改善

実装先・順序

• 実装先: uchardet中心、必要に応じwrapper
• v3実装PRのbase: 対象repositoryのdev。Draft PRで作成する。
• Phase: 1
• 前提となる作業: [V3-02] C++20の配布互換性とnative build構成を検証する #116, [V3-03] native候補出力・chunk境界・lifecycleの比較基盤を整える #117, [V3-04] ASan/UBSanと再現可能なfuzzingを整備する #118
• 新規実装のライセンスはV3-01で対象componentごとに決定する。

作業

• RAII、std::span等の借用view、enum/用途別型、static_assertを小さな変更単位で導入する。
• 寿命と境界検査は別に扱い、candidate同等性とallocation/memory/latencyを測定する。

完了条件

小さなPRに分けて候補同等性とallocation/memory/latencyを検証。規格更新・判定のtuningと分ける。V3-02/03、安全性検証はV3-04も利用

• 対象の実装PR・設計判断へのリンクを記録する。
• 再現command、検証結果、必要なartifact hashを記録する。
• 未解決事項・既知の制約と、依存先への影響を明記する。

現在の状態：未統合の調査・修正案を保持、P01保留（2026-09-21）

関連する安全性調査・修正の検証が製品側制限で繰り返し停止したため、maintainer指示で保留。
local native v3/safety-integrationの整数型修正等、および元担当worktreeの未commit変更を保持している。未検証の案をdevへ統合済みと扱わない。

• 本Issueのengine安全性refactorを検証し統合する。
• 候補同等性とallocation/memory/latencyを確認する。

#117のテスト用RAIIや#116の独立C++20機能probeは、本Issueのengine所有権・型改善の完了ではない。既定規格も変更していない。

理由・保存方針・再開条件: 判断ログP01。対応可能な承認済み環境または人手の検証とmaintainerの再開指示が必要。未検証変更は#169にも含めていない。