Roadmap: Podman & Conformance follow-up

[ootakazuhiko]

背景

Podman 互換と暗号化チャット向けコンフォーマンス整備は完了したものの、CI 運用・計測まわりに派生タスクが残存しています。ここでは当面のロードマップを整理し、優先度順に既存 Issue を束ねます。

フェーズA: 即時優先 (今週中)

• ci(mutation): publish quick summary and avoid timeout exits #1157 ci(mutation): publish quick summary and avoid timeout exits
• infra(podman): document shared runner setup #1154 infra(podman): document shared runner setup
• feat(conformance): expose violation metrics CLI #1155 feat(conformance): expose violation metrics CLI
• test(encrypted-chat): add BDD + pact coverage #1156 test(encrypted-chat): add BDD + pact coverage
• ops(podman): clean up pipeline artifacts #1158 ops(podman): clean up pipeline artifacts

フェーズB: Verify Lite / CI 強化 (完了)

• Verify Lite lint backlog (no-unused-vars / require-await / no-explicit-any cleanup) #1019 Verify Lite lint backlog (no-unused-vars / require-await / no-explicit-any cleanup)
• Verify Lite: strict TSエラー (CircuitBreaker / EnhancedStateManager / TokenOptimizer) #1018 Verify Lite: strict TSエラー (CircuitBreaker / EnhancedStateManager / TokenOptimizer)
• Quality policy: Code Linting / TDD gate missing definitions #1017 Quality policy: Code Linting / TDD gate missing definitions

フェーズC: Podman ランタイム整備と Week トラッカー

• ネイティブ podman compose 移行チェック（podman-plugins バージョン検証） #1015 ネイティブ podman compose 移行チェック（podman-plugins バージョン検証）
• Week4: Verify Lite強化とE2Eデモ統合 #1003 Week4: Verify Lite強化とE2Eデモ統合
• [Full pipeline revival] Week3 tracker #1002 [Full pipeline revival] Week3 tracker
• [Full pipeline revival] Week2 progress tracker #1001 [Full pipeline revival] Week2 tracker

フェーズD: 中長期ロードマップ

• 🧩 Feature Proposal: Integrate ae-framework with Agent Builder for Intent→Formal→Tests→Code→Verify→Operate pipeline #1047 🧩 Feature Proposal: Integrate ae-framework with Agent Builder for Intent→Formal→Tests→Code→Verify→Operate pipeline （PR chore: add flow/envelope schemas with validation #1184/feat: add verify lite envelope conversion utilities #1186/feat: add agent builder flow runner skeleton #1189 で Flow/Envelope 基盤を整備)
• #1047 Action Plan — Agent Builder Integration #1053 🧩 Feature Proposal: Integrate ae-framework with Agent Builder for Intent→Formal→Tests→Code→Verify→Operate pipeline #1047 Action Plan — Agent Builder Integration （PR docs: outline verify lite envelope conversion plan #1185/feat: add agent builder flow runner skeleton #1189 で Verify Lite → Envelope 実装を進捗）
• 📦 Project Complexity Management - Simplification and Organization #1006 📦 Project Complexity Management - Simplification and Organization
• 🔧 Test Stability Issues - Flaky Test Resolution and CI Hardening #1005 🔧 Test Stability Issues - Flaky Test Resolution and CI Hardening — PR feat: add agent builder flow runner skeleton #1189 で Flow Runner を整備したので、次は Phase 1 の Integration Test 修正から着手
• 🚨 Critical Security Issues - Code Scanning Alerts Resolution #1004 🚨 Critical Security Issues - Code Scanning Alerts Resolution
• 🧭 Issue — Autoformalize‑TLA+: Planning→Coding→ModelCheck→Repair #1066 🧭 Autoformalize-TLA+: Planning→Coding→ModelCheck→Repair
• 🧪 Issue — Test‑Driven Intent Mode: TiCoder + TestPilot #1067 🧪 Test‑Driven Intent Mode: TiCoder + TestPilot
• 🧰 Issue — Verifier Adapter Layer: TLC / Apalache / Conformance #1068 🧰 Verifier Adapter Layer: TLC / Apalache / Conformance
• 📊 Issue — req2run: cost/tokens/memory/turns metrics #1069 📊 req2run metrics
• 🛡️ Issue — Operate: Runtime Conformance Monitor #1070 🛡️ Runtime Conformance Monitor
• Evaluate Codex SDK Integration into ae-framework #1071 Evaluate Codex SDK Integration into ae-framework
• EnhancedStateManager mutation backlog #1080 EnhancedStateManager mutation backlog
• 🧭 Research papers informing the ae‑framework improvement #1062 🧭 Research papers informing the ae-framework improvement

次のアクション

1. 🔧 Test Stability Issues - Flaky Test Resolution and CI Hardening #1005 Phase 1（Integration Test Fix & Cleanup）をキックオフし、タスク分解を行う。
2. 🚨 Critical Security Issues - Code Scanning Alerts Resolution #1004 CRITICAL/HIGH アラートの調査・優先度付けと Fix 方針のドラフトを準備する。
3. 📦 Project Complexity Management - Simplification and Organization #1006 / feat: emit surviving mutants as JSON #1009 など中長期タスクの優先度を見直し、フェーズEのスコープ案をまとめる。

[ootakazuhiko]

• ci(mutation): publish quick summary and avoid timeout exits #1157 ci(mutation): publish quick summary and avoid timeout exits\n- [ ] infra(podman): document shared runner setup #1154 infra(podman): document shared runner setup\n- [ ] feat(conformance): expose violation metrics CLI #1155 feat(conformance): expose violation metrics CLI\n- [ ] test(encrypted-chat): add BDD + pact coverage #1156 test(encrypted-chat): add BDD + pact coverage\n- [ ] ops(podman): clean up pipeline artifacts #1158 ops(podman): clean up pipeline artifacts\n\n優先順のトップ5は上記の通りです。別途 Verify Lite lint backlog (no-unused-vars / require-await / no-explicit-any cleanup) #1019/Verify Lite: strict TSエラー (CircuitBreaker / EnhancedStateManager / TokenOptimizer) #1018/Quality policy: Code Linting / TDD gate missing definitions #1017 をまとめて Verify Lite backlog とし、ネイティブ podman compose 移行チェック（podman-plugins バージョン検証） #1015 以降はフェーズC/D に分類したまま据え置きます。

[ootakazuhiko]

フェーズBの3件 (#1019/#1018/#1017) は以下PRで完了しました。

• docs: Verify Lite lint backlog plan (#1019) #1167 docs: Verify Lite lint backlog plan (Verify Lite lint backlog (no-unused-vars / require-await / no-explicit-any cleanup) #1019)
• refactor: tighten circuit breaker strict types (#1018) #1168 refactor: tighten circuit breaker strict types (Verify Lite: strict TSエラー (CircuitBreaker / EnhancedStateManager / TokenOptimizer) #1018)
• fix: align quality gate keys with policy (#1017) #1169 fix: align quality gate keys with policy (Quality policy: Code Linting / TDD gate missing definitions #1017)

次ステップとしてフェーズCの Podman/Week tracker 群（#1015/#1003/#1002/#1001）の調査・ブランチ切り出しを進めます。

[ootakazuhiko]

Flow/Envelope スキーマ初期実装 (PR #1184) を作成し、フェーズDの #1047/#1053 に向けた基盤を追加しました。次は Verify Lite → Envelope 変換ステップに着手します。