nyash-codex 81a5a04eb7 feat(phase96): ArrayService/MapService実装完了 - downcastパターン確立 ...

Phase 96完全達成 - Ring1-Core層の主要Service実装完成

### 実装成果
- ✅ ArrayService trait定義（len/get/set/push）
- ✅ MapService trait定義（size/has/get/set）
- ✅ ArrayBoxAdapter/MapBoxAdapter unit struct化
- ✅ downcastパターン実装（複数インスタンス対応）
- ✅ #[allow(dead_code)] 4→2箇所（2削除）
- ✅ テスト53/53 PASS（100%）

### 変更ファイル
- src/runtime/core_services.rs: ArrayService/MapService実装（+134行）
- src/runtime/plugin_host.rs: 初期化ロジック更新（+8/-12行）
- docs/development/current/main/core_boxes_design.md: Section 13追加（+228行）

### 3つのAdapterパターン確立
1. **Ring0直結型**（ConsoleService）: OS API thin wrapper
2. **純粋関数型**（StringService）: Box状態不要
3. **downcast型**（ArrayService/MapService）⭐ NEW
   - unit struct + downcast_ref パターン
   - 複数インスタンス対応
   - Rust idiomatic API（Option/Result）

### API設計
- ArrayService: Rust型（i64）引数、内部でBox変換
- MapService: Rust型（&str）引数、内部でBox変換
- 戻り値: Option/Result で型安全

### 技術的成果
- 型安全性向上（downcast_ref によるコンパイル時検証）
- コード簡略化（#[allow(dead_code)] 2削除）
- 設計明確化（3パターンの使い分け確立）

### 削減統計
- #[allow(dead_code)]: 2箇所削除
- innerフィールド: 2個削除
- Box依存: 2箇所削除

### 次のステップ
Phase 96.5: use文整理とコメント更新
Phase 97: IntegerService/BoolService実装（#[allow(dead_code)] 完全削除）

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <noreply@anthropic.com>

2025-12-03 10:27:39 +09:00

..

llvm

docs: add MIR13 mode doc and set PHI-off as default; bridge lowering split (if/loop/try); llvmlite resolver stabilization; curated runner default PHI-off; refresh CURRENT_TASK.md

2025-09-17 10:58:12 +09:00

main

feat(phase96): ArrayService/MapService実装完了 - downcastパターン確立

2025-12-03 10:27:39 +09:00

self_current_task

phase: 20.49 COMPLETE; 20.50 Flow+String minimal reps; 20.51 selfhost v0/v1 minimal (Option A/B); hv1-inline binop/unop/copy; docs + run_all + CURRENT_TASK -> 21.0

2025-11-06 15:41:52 +09:00

selfhost

phase: 20.49 COMPLETE; 20.50 Flow+String minimal reps; 20.51 selfhost v0/v1 minimal (Option A/B); hv1-inline binop/unop/copy; docs + run_all + CURRENT_TASK -> 21.0

2025-11-06 15:41:52 +09:00

CLI_TESTING_GUIDE.md

ResultBox migration (stage 0): suppress legacy deprecation warnings in box_trait impls; keep dual handling in VM. Fix verifier Display for SuspiciousBarrierContext. Expose VM stats fields to vm_stats module. CLI core_ci guide and script in place.

2025-08-26 01:42:18 +09:00

CURRENT_TASK.md

phase15: update CLAUDE.md and sync with current progress

2025-09-05 13:29:17 +09:00

CURRENT_VM_CHANGES.md

feat(plugin): Fix plugin BoxRef return and Box argument support

2025-08-21 00:41:26 +09:00

function_values_and_captures.md

feat: MIR Call命令統一Phase 3.1-3.2完了！統一Call実装進行中

2025-09-24 01:05:44 +09:00

JIT_10_7_known_issues.txt

Phase 10.7 - JIT統計とイベント機能の完成

2025-08-28 09:26:58 +09:00

jit-enhancements-20250827.md

phase: 20.49 COMPLETE; 20.50 Flow+String minimal reps; 20.51 selfhost v0/v1 minimal (Option A/B); hv1-inline binop/unop/copy; docs + run_all + CURRENT_TASK -> 21.0

2025-11-06 15:41:52 +09:00

phase_9_78e_summary.md

feat(plugin): Fix plugin BoxRef return and Box argument support

2025-08-21 00:41:26 +09:00

PHI_NORMALIZATION_PLAN.md

feat: Phase 2.4 レガシーアーカイブ整理完了（151MB削減）

2025-09-24 14:13:15 +09:00

PLUGIN_LOADER_MIGRATION_PLAN.md

refactor: Major interpreter modularization and P2PBox enhancements

2025-08-26 19:13:57 +09:00

RESULTBOX_MIGRATION_TODO.md

Refactor (light): move VM value ops to backend/vm_values.rs; add backend/vm_boxcall.rs with call_box_method_impl and rewire call_unified_method. Update CURRENT_TASK for refactor start.

2025-08-26 00:48:09 +09:00