nyash-codex bc1fce3dfe docs: Phase 110 FileHandleBox設計指示書（5修正案統合版） ...

Phase 110 設計の公式指示書を作成。5つの検討ポイントをすべて統合：

修正1: Task 1「ライフサイクル」に .hako パターン追加
- new → open → read/write → close の実装パターンを明示
- パターン1（書き込み）、パターン2（読み込み）、パターン3（close忘れ）を記載

修正2: Task 2「API定義」に is_open() と close()後の挙動を追加
- is_open() メソッドで open 状態をチェック
- close() 後の read/write は Err("FileHandleBox is not open")

修正3: Task 1「ライフサイクル」に二重 open の仕様を明記
- 既に open 済みの場合は Err を返す（Fail-Fast）
- 複数ファイルは複数インスタンスで対応

修正4: Task 2「API定義」に Ring0FsFileIo独立性を明記
- 各 FileHandleBox インスタンスが独立した FileIo を保持
- 複数インスタンスの同時 open が可能

修正5: Task 3 に FileHandleBox のプロファイル位置づけを完全記述
- Default: optional かつ使用可能 ✅
- NoFs: disabled（使用不可）❌
- 将来：TestMock/Sandbox/ReadOnly に対応予定

その他の充実：
- レイヤー図で FileBox/FileHandleBox/Ring0.fs の関係を可視化
- テストケース4つ（基本動作、二重open、close後、NoFsプロファイル）
- .hako側の使用パターン（3パターン）
- プロファイル別可用性テーブル
- 将来の拡張ポイント（append mode, metadata, 並行アクセス）

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

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

2025-12-03 20:06:04 +09:00

..

phase-85-ring0-runtime

feat(ring0): Phase 102 MemApi Bridge Skeleton - StdMem実装

2025-12-03 13:42:05 +09:00

00-Overview.md

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

10-Now.md

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

20-Decisions.md

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

30-Backlog.md

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

core_boxes_design.md

feat(phase109): RuntimeProfile設計で FileBox を条件付き optional に

2025-12-03 19:37:32 +09:00

core_optional_design.md

feat(runtime): Phase 103 CoreServices Optional化 - Memory Constraints対応

2025-12-03 13:59:06 +09:00

factory_priority.md

feat(box_factory): Phase 86 BoxFactory Priority normalization

2025-12-02 21:52:18 +09:00

hako_logging_design.md

docs(phase 105): Logger Box Framework設計＆ドキュメント整備

2025-12-03 14:33:04 +09:00

logger_box_design.md

docs(phase 105): Logger Box Framework設計＆ドキュメント整備

2025-12-03 14:33:04 +09:00

logging_policy.md

docs(phase 105): Logger Box Framework設計＆ドキュメント整備

2025-12-03 14:33:04 +09:00

phase33-10-implementation-recommendation.md

feat(joinir): Phase 34-6 MethodCall 構造と本物の substring 意味論

2025-11-27 17:05:46 +09:00

phase33-10-local-pattern-mir-analysis.md

feat(joinir): Phase 34-6 MethodCall 構造と本物の substring 意味論

2025-11-27 17:05:46 +09:00

phase61-5-3-if-phi-priority-table.md

docs: Phase 61-5 If PHI 棚卸し完了

2025-11-29 15:57:14 +09:00

phase61-5-summary.md

docs: Phase 61-5 If PHI 棚卸し完了

2025-11-29 15:57:14 +09:00

phase61-5.4-next-phase-candidates.md

docs: Phase 61-5 If PHI 棚卸し完了

2025-11-29 15:57:14 +09:00

phase69-1-trio-inventory.md

feat(joinir): Phase 66-68 GenericTypeResolver + JoinIR First Chapter Wrap

2025-11-30 08:54:18 +09:00

phase69-4-trio-deletion-plan.md

docs(phi_core): Phase 70 完全達成！Trio 完全削除 (~1,443行)

2025-12-02 09:45:54 +09:00

phase69-4.3-trio-to-loopscope-migration.md

docs(phi_core): Phase 69-4 完全達成！Trio 削除準備完了

2025-11-30 10:10:45 +09:00

phase71-findings-20251202.md

docs(phase71): Phase 71 初回観測完了 - SSA/selfhost 根本原因特定

2025-12-02 10:19:07 +09:00

phase71-ssa-trim-fix-20251202.md

feat(phase71-ssa): SSA undef 完全解消達成！(4件→0件)

2025-12-02 11:16:01 +09:00

phase72-73-env-inventory.md

feat(env): Phase 71-73 - SSA fix + Stage-3 ENV consolidation

2025-12-02 12:36:28 +09:00

phase84-2-case-d-investigation.md

feat(mir): Phase 84-2 CopyTypePropagator for Copy chain type propagation

2025-12-02 19:37:01 +09:00

phase84-2-failure-patterns.md

feat(mir): Phase 84-2 CopyTypePropagator for Copy chain type propagation

2025-12-02 19:37:01 +09:00

phase84-2-summary.md

feat(mir): Phase 84-2 CopyTypePropagator for Copy chain type propagation

2025-12-02 19:37:01 +09:00

phase84-2-test-list.md

feat(mir): Phase 84-2 CopyTypePropagator for Copy chain type propagation

2025-12-02 19:37:01 +09:00

phase84-3-final-report.md

docs(phase84): Add Phase 84-3 analysis and Phase 84-4 recommendations

2025-12-02 20:18:13 +09:00

phase84-3-remaining-4-analysis.md

docs(phase84): Add Phase 84-3 analysis and Phase 84-4 recommendations

2025-12-02 20:18:13 +09:00

phase84-3-summary.md

docs(phase84): Add Phase 84-3 analysis and Phase 84-4 recommendations

2025-12-02 20:18:13 +09:00

phase84-4-completion-report.md

docs: Phase 84-4 完了報告書 - Case D 100%完全解決達成

2025-12-02 20:30:22 +09:00

phase84-4-implementation-recommendation.md

docs(phase84): Add Phase 84-3 analysis and Phase 84-4 recommendations

2025-12-02 20:18:13 +09:00

phase84-case-d-detailed-analysis.md

feat(mir): Phase 84-2 CopyTypePropagator for Copy chain type propagation

2025-12-02 19:37:01 +09:00

phase84-case-d-index.md

feat(mir): Phase 84-2 CopyTypePropagator for Copy chain type propagation

2025-12-02 19:37:01 +09:00

phase84-case-d-summary.md

feat(joinir): Phase 84-5 if_phi.rs レガシーフォールバック完全削除

2025-12-02 21:09:15 +09:00

phase84-index.md

feat(joinir): Phase 84-5 if_phi.rs レガシーフォールバック完全削除

2025-12-02 21:09:15 +09:00

phase106_filebox_design_revised.md

feat(Ring0): Phase 107 - Ring0.FsApi FileIo integration complete

2025-12-03 18:16:49 +09:00

phase107_fsapi_fileio_bridge.md

feat(phase109): RuntimeProfile設計で FileBox を条件付き optional に

2025-12-03 19:37:32 +09:00

phase108_filebox_write_semantics.md

feat(phase109): RuntimeProfile設計で FileBox を条件付き optional に

2025-12-03 19:37:32 +09:00

phase109_runtime_profiles.md

docs: Phase 109 RuntimeProfile設計指示書追加（修正1-3統合版）

2025-12-03 19:22:55 +09:00

phase110_filehandlebox_design.md

docs: Phase 110 FileHandleBox設計指示書（5修正案統合版）

2025-12-03 20:06:04 +09:00

phase-21.7-naming-ssot-checklist.md

chore: Phase 26-H セッション完了 - 全ドキュメント更新

2025-11-23 05:53:27 +09:00

ring0-inventory.md

feat(phase109): RuntimeProfile設計で FileBox を条件付き optional に

2025-12-03 19:37:32 +09:00

stage1_cli_ssa_valueid34_analysis.md

docs(stage1): Phase 25.1 - Stage-1 CLI ValueId(34) SSA バグ完全調査完了

2025-11-21 07:00:05 +09:00

stage1_mir_builder_type_confusion_bug.md

debug(stage1): Phase 25.1 - MIR Builder 型混乱バグ完全特定

2025-11-21 08:03:03 +09:00

stage1_mir_log_investigation.md

debug(stage1): Phase 25.1 - MIR Builder 型混乱バグ完全特定

2025-11-21 08:03:03 +09:00

valueid-fix-implementation-guide.md

feat(phi): Step 5-5-H完了 - Phantom block検証＋PHI決定性向上

2025-11-20 17:10:03 +09:00

valueid-fix-implementation-summary.md

feat(phi): Step 5-5-H完了 - Phantom block検証＋PHI決定性向上

2025-11-20 17:10:03 +09:00

valueid-nondeterminism-root-cause-analysis.md

feat(phi): Step 5-5-H完了 - Phantom block検証＋PHI決定性向上

2025-11-20 17:10:03 +09:00