Files
hakorune/docs/development/current/main/logging_policy.md

358 lines
10 KiB
Markdown
Raw Normal View History

docs(runtime): Phase 99 ログ/出力ポリシー確定 - 3層設計の文書化完成 ## Phase 99 完了項目(ドキュメント設計フェーズ) - ✅ logging_policy.md 新規作成(312行) - ✅ ring0-inventory.md 更新(455行) - ✅ core_boxes_design.md Section 15.6-A 追記(+58行) - ✅ CURRENT_TASK.md Phase 85 セクション更新 ## 確定した3層ログ/出力設計 【Ring0.log】(OS API層) - 用途: ランタイム/OS内部ログ - 対象: 開発者向けデバッグ・計測・内部状態 - API: ring0.log.debug/info/warn/error(...) 【ConsoleService】(Box層・ユーザー向け) - 用途: CLIの直接的な出力(ユーザー向けメッセージ) - 対象: エンドユーザー - アクセス: console_println! マクロ 【素のprintln!/eprintln!】(制限用途) - 用途: テスト・一時デバッグのみ限定 - テスト内: 約299箇所そのまま許可 - 本番経路: 撤退すべき ## println!/eprintln! 残件分類(1477箇所) - user-facing: ~366箇所(HIGH)→ console_println! - dev-debug: TBD(MEDIUM)→ Ring0.log or dev_* macros - test: ~299箇所(LOW)→ そのまま許可 - internal: ~812箇所(TBD) ## 設計の価値 - **コード変更なし**: リスク最小(ドキュメントのみ) - **後工程の基盤**: Phase 100-101で残り~366箇所を片付け可能 - **Fail-Fast原則**: マクロ方針でエラーメッセージは確実に出力 - **段階的移行**: Graceful Degradation パターンで初期化前後を対応 ## 新規ドキュメント構成 logging_policy.md: - Section 1: 3層の役割分担 - Section 2: Macroポリシー - Section 3: テスト内println!の扱い - Section 4: 完全統合の完了条件 - Section 5: 設計原則 - Section 6: 関連ドキュメント ring0-inventory.md: - Section 1: Ring0.log利用状況 - Section 2: println! 残件分類(4カテゴリ) - Section 3: Ring0.log活用計画 - Section 4-8: 配布状況・ロードマップ・コマンド・履歴・成功基準 ## AI協働開発の成功例 - 設計と実装の分離(Phase 99=設計、Phase 100+=実装) - 段階的アプローチ(80/20ルール:完璧より進捗) - ドキュメント優先(コードより先に設計を固める) ## Phase 85-99 総括 - Phase 95.5: StringService/ConsoleService実装 - Phase 96-96.5: ArrayService/MapService & コード整理 - Phase 97: IntegerService/BoolService(#[allow(dead_code)] 根絶) - Phase 98-98.5: ConsoleService代表パス拡張(7箇所) - Phase 99: ログ/出力ポリシー確定(設計フェーズ) ✅ 次: Phase 100-101(user-facing移行、~366箇所段階的実装) 🎊 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude <noreply@anthropic.com>
2025-12-03 11:31:35 +09:00
# Logging & Output Policy (Phase 99)
## Overview
This document establishes the clear separation of concerns between three logging/output layers in the Nyash runtime, and provides guidelines for transitioning the remaining ~1477 println!/eprintln! call sites to the appropriate mechanism.
**Status**: Design phase (Phase 99) - documentation only, no code implementation yet.
---
## Section 1: Three-Layer Log/Output Role Separation
The Nyash runtime uses three distinct layers for logging and output, each with a specific purpose:
### Layer 1: Ring0.log (OS API Layer)
**Purpose**: Runtime/OS layer internal logging
**Use Cases**:
- Memory management state
- Garbage collection events
- Thread management
- Cache information
- Internal state tracking
**Target Audience**: Developers, debugging, measurement, internal state tracking
**API**:
```rust
ring0.log.debug("message");
ring0.log.info("message");
ring0.log.warn("message");
ring0.log.error("message");
```
**Characteristics**:
- Not intended for direct user visibility
- Controlled by log levels
- Can be redirected to files or monitoring systems
- Developer-facing diagnostics
---
### Layer 2: ConsoleService (Box Layer - User-Facing)
**Purpose**: Direct CLI output for end users
**Use Cases**:
- Error messages displayed to users
- Success notifications
- Help text
- Progress information
- Command execution results
**Target Audience**: End users of the Nyash CLI
**Access Methods**:
1. Via `console_println!` macro (Rust code)
2. Via `host.core.console.println(...)` (Box code)
**API**:
```rust
// Rust side
console_println!("User-visible message");
// Box side
host.core.console.println("User-visible message");
```
**Characteristics**:
- Active after PluginHost initialization
- Falls back to `eprintln!` before initialization (Graceful Degradation)
- User-friendly messages
- Respects output redirection
---
### Layer 3: Raw println!/eprintln! (Restricted Use)
**Purpose**: Limited to tests and temporary debugging only
**Restrictions**:
- Should be removed from production paths
- Should be removed from selfhost/hack_check/VM runner paths
- Permitted in test code (isolated environment)
**Current Status**:
- Test code: ~299 instances (permitted)
- Production code: ~1477 instances (to be migrated)
**Phase 99 Stance**:
- Judgment only in Phase 99
- Implementation deferred to Phase 100+
- Test code println! remains as-is (safe in isolated environment)
---
## Section 2: Macro Policy
### console_println! Macro (Implemented in Phase 98)
**Purpose**: Safe entry point for user-facing messages
**Implementation**:
```rust
macro_rules! console_println {
($($arg:tt)*) => {{
if let Some(host) = try_get_core_plugin_host() {
host.core.console.println(&format!($($arg)*));
} else {
eprintln!($($arg)*); // Graceful fallback
}
}};
}
```
**Usage Locations**:
- selfhost runner main output
- hack_check result display
- VM runner main output (RC, errors, etc.)
**Design Principle**:
- Follows Fail-Fast principle with exception for output destination selection
- Dynamic fallback is permitted for "where to output" decision only
- Core logic remains static and deterministic
---
### dev_eprintln! / Other dev_* Macros (Under Consideration)
**Purpose**: Temporary debug output during development
**Phase 99 Decision**:
- Evaluate necessity only
- No implementation in Phase 99
- Implementation deferred to Phase 100+
**Rationale**:
- Most use cases can be covered by Ring0.log or console_println!
- May be redundant with existing logging infrastructure
- Need to assess actual developer needs before implementing
---
## Section 3: Test Code println! Policy
### Current Status
- Test code: ~299 instances of println!/eprintln!
- Purpose: Test output and result visualization
- Location: Throughout test modules
### Policy
**Phase 99 Stance**: **Leave as-is - OK to use println! in tests**
**Rationale**:
1. Tests run in isolated environments
2. Test output is separate from production output
3. println! is safe and appropriate for test diagnostics
4. No need for special test macros (println_test!, etc.)
**Future Considerations**: No changes planned
---
## Section 4: Complete Integration Criteria
The "CoreServices Log/Output Complete Integration" is considered achieved when:
### Console (Required)
- ✅ All selfhost runner user-facing output uses console_println!
- ✅ All hack_check result display uses console_println!
- ✅ All VM runner main output (RC, errors) uses console_println!
**Current Status (Phase 98)**:
- ✅ 7 locations completed
- ✅ Representative paths covered
- 🔄 ~359 locations remaining (Phase 100-101)
---
### Ring0.log (Phased)
**Existing Infrastructure**:
- debug/info/warn/error API available
- StdLog implementation outputs to stdout/stderr
**Migration Priority**:
1. Internal errors → ring0.log.error(...)
2. VM execution logs → ring0.log.info(...)
3. Memory/GC information → ring0.log.debug(...)
**Phase 99 Scope**: Planning only - document migration strategy
---
### Tests (Permitted)
- Test code println! (~299 locations): **Keep as-is**
- Production paths: Removed (migration complete)
---
## Section 5: Migration Strategy
### Phase-by-Phase Approach
**Phase 99 (Current)**:
- Document policy and categorization
- No code changes
- Establish migration framework
**Phase 100-101**:
- Migrate user-facing println! to console_println! (~366 locations)
- Prioritize src/runner/ paths
- Focus on visible user messages
**Phase 102+**:
- Evaluate Ring0.log usage for internal logging
- Migrate dev-debug println! as needed
- Leave test println! unchanged
---
### Categorization of Remaining println!/eprintln!
Total: 1776 locations (1477 excluding tests)
**Categories**:
1. **user-facing** (~366 locations, priority: high)
- CLI messages, errors, help text
- Target: console_println!
- Phase 98: 7 completed (representative paths)
- Phase 100-101: Gradual expansion
2. **dev-debug** (TBD, Ring0.log candidates)
- Temporary debug output
- Target: Ring0.log or dev_* macros (to be decided)
- Priority: Medium
- Phase 99: Assessment only
3. **test** (~299 locations, priority: low)
- Test output and verification
- Target: Keep as-is (isolated environment)
- Phase 99-101: No changes
4. **internal** (~812 locations remaining)
- Internal processing println! remnants
- Target: TBD in Phase 99
- Phase 99: Uncategorized
---
## Section 6: Design Principles
### Graceful Degradation
The console_println! macro implements graceful degradation:
- Primary: Use ConsoleService when available
- Fallback: Use eprintln! before PluginHost initialization
- Rationale: Output should always work, even during early initialization
This is the **only permitted exception** to the Fail-Fast principle, as it only affects output destination, not core logic.
---
### Separation of Concerns
Each layer has a clear responsibility:
- **Ring0.log**: Developer diagnostics
- **ConsoleService**: User communication
- **println!**: Test-only convenience
This separation ensures:
- Maintainability: Clear ownership of output
- Testability: Test output isolated from production
- Flexibility: Each layer can be configured independently
---
### Migration Philosophy
**80/20 Rule Applied**:
- Phase 98: 7 locations = covering representative paths
- Phase 100-101: ~366 locations = user-visible improvements
- Phase 102+: Remaining locations = diminishing returns
Focus on high-impact migrations first, defer low-priority changes.
---
## Related Documentation
- [Ring0 Inventory](ring0-inventory.md) - println! categorization and Ring0.log plans
- [CoreBoxes Design - Section 15.6-A](core_boxes_design.md#section-156-a-logsoutput-unified-design) - Architectural context
- [Phase 85 CURRENT_TASK](../../../CURRENT_TASK.md) - Implementation timeline
---
## Summary
Phase 99 establishes the **documentation foundation** for future logging/output migrations:
1. **Clear role separation**: Ring0.log (internal) vs ConsoleService (user-facing) vs println! (test-only)
2. **Macro policy**: console_println! (implemented), dev_* macros (under consideration)
3. **Test policy**: println! in tests is OK (isolated environment)
4. **Migration strategy**: Phased approach with clear priorities
**Next Steps**: Phase 100+ will implement gradual migrations based on this policy framework.
feat(runtime): Phase 100 user-facing 出力の ConsoleService 完全統一 - 29箇所完了 ## Phase 100 完了項目 - ✅ selfhost.rs: 6箇所 → console_println! - ✅ llvm.rs: 23箇所(主要メッセージ) → console_println! - ✅ 全テストPASS(core_services: 11, plugin_host: 7) - ✅ ドキュメント更新完了 ## 置き換え箇所(29箇所) **selfhost.rs**(6箇所): - Line 57: CoreInitError 出力 - Lines 194/363/418/519/570: Result 出力 **llvm.rs**(23箇所、ユーザー向けメッセージのみ): - エラーメッセージ(❌): ファイル読み込み、using/parse エラー - 成功メッセージ(📊): MIR コンパイル成功 - LLVM/harness 関連エラー - 実行結果出力 - Mock LLVM メッセージ ## 意図的に除外(Phase 101 対象) - llvm.rs の `[joinir/llvm]`, `[parse/context]` デバッグログ - hack_check: .hako アプリ(Nyash言語の ConsoleBox 経由) - bench.rs: テスト・性能表示(dev-debug) - mir.rs: 内部 MIR ダンプ(dev-debug) ## 技術的成果 - selfhost/LLVM runner のユーザー向けメッセージを ConsoleService に統一 - Phase 99 で確立したログ/出力ポリシーを実装レベルで実現 - デバッグログとユーザー向け出力の明確な分離 - Graceful Degradation パターンの実用確認 ## 統計 - Phase 98: 7箇所 - Phase 100: 29箇所 - **合計**: 36箇所で ConsoleService 経由に移行完了 - 残り user-facing: ~330箇所(Phase 101-102 で段階的拡張) ## ドキュメント更新 - logging_policy.md: Section 7 追加(Phase 100 実装完了記録) - ring0-inventory.md: Category 1 更新(Phase 100 進捗反映) - CURRENT_TASK.md: Phase 85 セクション追記 ## Phase 85-100 総括 - Phase 95.5-97: CoreServices 6個完全実装(String/Integer/Bool/Array/Map/Console) - Phase 98-98.5: ConsoleService 代表パス拡張(7箇所) - Phase 99: ログ/出力ポリシー確定(3層設計文書化) - Phase 100: user-facing 出力の ConsoleService 化(29箇所) ✅ 次: Phase 101(dev-debug/test/internal 出力の整理、Ring0.log 活用) 🎊 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude <noreply@anthropic.com>
2025-12-03 11:55:14 +09:00
---
## Section 7: Phase 100 Implementation Complete (2025-12-03)
### user-facing 出力の CoreServices 化完了
**実装概要**: selfhost と LLVM runner の主要なユーザー向け出力を ConsoleService (console_println!) 経由に統一
**完了箇所**:
- **selfhost.rs**: 6箇所 → console_println!
- Line 57: CoreInitError 出力
- Line 194, 363, 418, 519, 570: Result 出力
- **llvm.rs**: 23箇所ユーザー向けメッセージ → console_println!
- Line 26, 44, 53, 60, 116: エラーメッセージ(❌)
- Line 121-122: 成功メッセージ(📊)
- Line 215, 230, 239, 275, 287, 295: LLVM/harness エラー
- Line 324, 328, 334-335, 353-354, 357-358, 362: 実行結果
- Line 369-370, 379, 383, 391: Mock LLVM メッセージ
- **vm.rs**: 1箇所Phase 98 で完了済み)
- **core_bridge.rs**: 2箇所Phase 98 で完了済み)
- **selfhost 関連**: 5箇所Phase 98 で完了済み)
**合計**: Phase 98 (7箇所) + Phase 100 (29箇所) = **36箇所完了**
**除外箇所**(意図的に残した):
- llvm.rs の `[joinir/llvm]`, `[parse/context]` デバッグログPhase 101 対象)
- hack_check: .hako アプリNyash言語の ConsoleBox 経由、別フェーズ)
**テスト結果**:
- ✅ cargo build --release 成功
- ✅ core_services テスト: 11 passed
- ✅ plugin_host テスト: 7 passed
- ✅ 代表ケース動作確認:
- loop_min_while.hako: "📊 MIR Module compiled successfully!" 等が console_println! 経由で出力
- エラーケース: "❌ Error reading file..." が console_println! 経由で出力
**残りの user-facing 出力**:
- 推定: ~330箇所その他の runner/modes/*
- 優先度: HIGH → Phase 101-102 で段階的拡張
**技術的成果**:
- selfhost/LLVM runner のユーザー向けメッセージが ConsoleService に統一
- Phase 99 で確立したログ/出力ポリシーが実装レベルで実現
- デバッグログとユーザー向け出力の明確な分離