4 Commits

Author	SHA1	Message	Date
nyash-codex	d7805e5974	feat(joinir): Phase 213-2 Step 2-2 & 2-3 Data structure extensions ... Extended PatternPipelineContext and CarrierUpdateInfo for Pattern 3 AST-based generalization. Changes: 1. PatternPipelineContext: - Added loop_condition: Option<ASTNode> - Added loop_body: Option<Vec<ASTNode>> - Added loop_update_summary: Option<LoopUpdateSummary> - Updated build_pattern_context() for Pattern 3 2. CarrierUpdateInfo: - Added then_expr: Option<ASTNode> - Added else_expr: Option<ASTNode> - Updated analyze_loop_updates() with None defaults Status: Phase 213-2 Steps 2-2 & 2-3 complete Next: Create Pattern3IfAnalyzer to extract if statement and populate update summary	2025-12-10 00:01:53 +09:00
nyash-codex	77d4fd72b3	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
Moe Charm	bf4b87526e	phase(9.78h): stabilize MIR/VM pipeline ... - Add MIR26 doc≡code sync test (tests/mir_instruction_set_sync.rs) - Quiet snapshots; filter plugin/net logs; golden all green - Delegate VM phi selection to LoopExecutor (borrow-safe) - ResultBox migration: remove legacy box_trait::ResultBox paths - VM BoxRef arithmetic fallbacks via toString().parse::<i64>() - Bridge BoxCall(InstanceBox) to Class.method/arity in VM - Fix Effects purity (READ -> readonly, not pure) - Mark Catch as CONTROL to prevent DCE; Try/Catch test green - Add env-gated debug logs (effects, verifier, mir-printer, trycatch, ref, bin) - Update CURRENT_TASK with progress and next steps	2025-08-26 05:49:23 +09:00
Moe Charm	0aef8d49a7	Phase 2: TypeOp変換の一本化（Optimizer安全ネット削除）\nPhase 3: 可視化/スナップショット基盤（--mir-verbose-effects, snapshot/compare/ci_check）\nDocs: Phase 1/2 完了マーク・利用方法追記	2025-08-24 01:58:41 +09:00