Issues

• [AE-ENV-200] Codex Cloudを既存CLIと限定比較する（任意・移行非必須）

  assurance-control-planetype:task
  itdojp/ae-framework#3686 · Filter by author ootakazuhiko opened on Oct 25, 2026

• [AE-PROOF-140] Proof Evidenceを内部PRへreport-only表示し運用価値を測定する

  assurance-control-planetype:task
  itdojp/ae-framework#3685 · Filter by author ootakazuhiko opened on Oct 25, 2026

• [AE-PROOF-130] Theorem公開証明1件を固定環境で再検査し資源・保証範囲を記録する

  assurance-control-planetype:task
  itdojp/ae-framework#3684 · Filter by author ootakazuhiko opened on Oct 25, 2026

• [AE-PROOF-120] 小規模Rocq証明を独立検査し期待定理・公理・対象を照合する

  assurance-control-planetype:task
  itdojp/ae-framework#3683 · Filter by author ootakazuhiko opened on Oct 25, 2026

• [AE-PROOF-110] Proof Evidenceの追加契約・offline validator・負例matrixを実装する

  assurance-control-planetype:task
  itdojp/ae-framework#3682 · Filter by author ootakazuhiko opened on Oct 25, 2026

• [AE-PROOF-100] 既存Evidence契約との差分を設計しProof受入の信頼境界を固定する

  assurance-control-planetype:task
  itdojp/ae-framework#3681 · Filter by author ootakazuhiko opened on Oct 25, 2026

• [AE-RESTART-010] WSL2・既存worktree・GitHub状態を読み取り専用で棚卸しし再開条件を確定する

  assurance-control-planetype:task
  itdojp/ae-framework#3680 · Filter by author ootakazuhiko opened on Oct 25, 2026

• [AE-RESTART-000] 開発再開計画：既存復旧の収束とProof Evidence最小実装（CLI継続・Cloud任意）

  assurance-control-plane
  itdojp/ae-framework#3679 · Filter by author ootakazuhiko opened on Oct 25, 2026

• [ACP-REVIEW-420] Scoped acceptance planとbounded CI observationで待機・失敗・取得不能を分離する

  area:contractsassurance-control-planecodex-readypriority:p1risk:mediumtype:task
  itdojp/ae-framework#3677 · Filter by author ootakazuhiko opened on Sep 6, 2026

• [ACP-REVIEW-410] Authority consumerの対象bindingとCheckRun/WorkflowRun IDを明確化する

  area:contractsassurance-control-planecodex-readypriority:p1risk:hightype:task
  itdojp/ae-framework#3676 · Filter by author ootakazuhiko opened on Sep 6, 2026

• [ACP-REVIEW-400] 並行レビュー結果と復旧・開発再開の実行境界を記録する

  assurance-control-planecodex-readypriority:p1type:task
  itdojp/ae-framework#3675 · Filter by author ootakazuhiko opened on Sep 6, 2026
  1

• [MAIN-HEALTH-CI-003] Restore Container Security after Podman/crun runtime incompatibility

  bugcicodex-readypriority:p0risk:highsecuritytype:task
  itdojp/ae-framework#3672 · Filter by author ootakazuhiko opened on Jul 30, 2026

• [MAIN-HEALTH-SEC-002] Eliminate current high dependency vulnerabilities and restore enforced security gates

  bugcicodex-readydependenciespriority:p0quality-gatesrisk:highsecuritytype:task
  itdojp/ae-framework#3671 · Filter by author ootakazuhiko opened on Jul 30, 2026

• [ACP-HARDEN-140] Solo maintainer + AI-assisted governance profileを追加する

  area:agentsarea:contractsassurance-control-planecodex-readypriority:p0risk:hightype:task
  itdojp/ae-framework#3667 · Filter by author ootakazuhiko opened on Jul 22, 2026
  1

• [ACP-HARDEN-310] SSOT freshness contractとdrift検出を追加する

  area:contractsarea:productassurance-control-planecodex-readypriority:p2risk:mediumtype:task
  itdojp/ae-framework#3665 · Filter by author ootakazuhiko opened on Jul 22, 2026

• [ACP-HARDEN-260] GitHub Actions supply-chain policyをfull-SHA基準で強化する

  area:contractsassurance-control-planecodex-readypriority:p1risk:hightype:task
  itdojp/ae-framework#3664 · Filter by author ootakazuhiko opened on Jul 22, 2026
  2

• [ACP-HARDEN-240] cross-artifact semantic graph validatorを追加する

  area:contractsassurance-control-planecodex-readypriority:p1risk:hightype:task
  itdojp/ae-framework#3663 · Filter by author ootakazuhiko opened on Jul 22, 2026

• [ACP-HARDEN-230] 汎用private-to-public Evidence export contractを追加する

  area:contractsassurance-control-planecodex-readypriority:p1risk:hightype:task
  itdojp/ae-framework#3662 · Filter by author ootakazuhiko opened on Jul 22, 2026

• [ACP-HARDEN-250] review-disposition/v1とhead-bound review completenessを追加する

  area:agentsarea:contractsassurance-control-planecodex-readypriority:p1risk:mediumtype:task
  itdojp/ae-framework#3661 · Filter by author ootakazuhiko opened on Jul 22, 2026
  1

• [ACP-HARDEN-220] content-addressed artifact referenceとimplementation manifestを標準化する

  area:contractsassurance-control-planecodex-readypriority:p1risk:hightype:task
  itdojp/ae-framework#3660 · Filter by author ootakazuhiko opened on Jul 22, 2026

• [ACP-HARDEN-210] human-decision/v1で承認を対象material digestへbindingする

  area:contractsassurance-control-planecodex-readypriority:p1risk:hightype:task
  itdojp/ae-framework#3659 · Filter by author ootakazuhiko opened on Jul 22, 2026

• [ACP-HARDEN-130] execution-result/v1を導入しstatus非変換を保証する

  area:contractsassurance-control-planecodex-readypriority:p0risk:hightype:task
  itdojp/ae-framework#3658 · Filter by author ootakazuhiko opened on Jul 22, 2026
  2

• [ACP-HARDEN-100] Epic: Private Match dogfoodからのAssurance Control Plane hardening実行計画

  area:contractsassurance-control-planecodex-readypriority:p0type:epic
  itdojp/ae-framework#3655 · Filter by author ootakazuhiko opened on Jul 22, 2026
  6

• [REL-211] Prebuilt/bundled assurance-gate release surfaceのfeasibilityを条件付き評価する

  area:adoptionfollow-upgithub-actionspriority:p2risk:mediumtype:task
  itdojp/ae-framework#3648 · Filter by author ootakazuhiko opened on Jul 11, 2026

• [REL-200] Consent済み report-only live external pilotを1 repo / 約5 PRで実施する

  approval-boundaryarea:adoptionarea:productassurance-control-planecodex-readyfollow-uppriority:p1risk:hightype:task
  itdojp/ae-framework#3640 · Filter by author ootakazuhiko opened on Jul 11, 2026
  2