2 Commits

Author	SHA1	Message	Date
nyash-codex	e404746612	refactor(mir): Phase 139-P3-B - RoutingDecision を enum 対応 + レガシー削除 ... - RoutingDecision の missing_caps を Vec<CapabilityTag> に変更（型安全化） - error_tags は to_tag() メソッドで自動生成 - 全 callsite を enum variant に修正 - capability_tags モジュール（文字列定数群）を完全削除 - 全テスト PASS（型安全性向上を確認） - フォーマット適用	2025-12-16 07:02:14 +09:00
nyash-codex	253eb59b06	obs(joinir): Phase 72 - PHI Reserved Region Observation Complete ... Phase 72 investigates whether PHI dst ValueIds adhere to reserved region [0-99]. Conclusion: Current system is stable but relies on accidental non-overlap, NOT architectural enforcement. Recommendation: Do NOT strengthen verifier. PHI dst allocated by MirBuilder (separate from JoinValueSpace reserved contract). Full fix deferred to Phase 73+. Changes: - verify_phi_reserved.rs: New observation infrastructure (debug-only) - phase72-phi-reserved-observation.md: Detailed findings + risk assessment - PHASE_72_SUMMARY.md: Executive summary - loop_header_phi_builder.rs: Debug observation hooks - phase72_phi_observation.rs: Unit tests (6/6 PASS) Tests: lib 950/950 PASS (no regressions) Architecture: No production impact (debug-only, feature-gated) 🤖 Generated with Claude Code Co-Authored-By: Claude Haiku 4.5 <noreply@anthropic.com>	2025-12-13 03:41:33 +09:00