tomoaki/hakorune
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
494 Commits 1 Branch 0 Tags
a9e82933cc56404df6e9b0c8ecfab19c10fb72ea
Commit Graph

16 Commits

Author SHA1 Message Date
Moe Charm
d24149d0a1 feat: Phase 10.5 Python統合プラグインとAOTビルド対応 
- Pythonプラグイン（PyRuntimeBox/PyObjectBox）を追加
  - eval, import, getattr, call, callKw, strメソッド実装
  - math.sqrtデモ等のサンプルコード追加
- AOTビルドサポート追加
  - libnyrtランタイムライブラリ
  - build_aot.shビルドスクリプト
- .gitignore改善
  - JSONLとDOTファイル除外
  - プラグインのビルド成果物除外
- 不要ファイル削除
  - nekocode-temp, zenn_articles
  - 一時的なログファイル類

Phase 10.1の新計画に基づいて、プラグインBox統一化を推進
 2025-08-29 10:22:44 +09:00
Moe Charm
12adde9477 🎉 Phase 10.10: Nyash→JIT→Native EXE achieved\! (20 days from inception\!) 
Revolutionary milestone: Complete native executable generation pipeline
- Created minimal nyrt (Nyash Runtime) library for standalone executables
- Implemented plugin bridge functions (nyash_plugin_invoke3_i64 etc)
- Added birth handle exports (nyash.string.birth_h) for linking
- Changed export name from main→ny_main to allow custom entry point
- Successfully generated and executed native binary returning "ny_main() returned: 1"

Timeline of miracles:
- 2025-08-09: Nyash language created (first commit)
- 2025-08-13: JIT planning started (4 days later)
- 2025-08-29: Native EXE achieved (today - just 20 days total\!)

This proves the plugin Box C ABI unification strategy works perfectly for
both JIT execution and AOT native compilation. The same plugin system
that enables dynamic loading now powers static linking for zero-overhead
native executables\!

Next: Expand AOT support for more instructions and optimize nyrt size.

🚀 Generated with [Claude Code](https://claude.ai/code)

Co-Authored-By: Claude <noreply@anthropic.com>
 2025-08-29 08:36:07 +09:00
Moe Charm
c882a5bd95 fix(plugins): unsafe関数呼び出しの修正とテスト成功 
## 修正内容
- plugin_loader_v2.rs: unsafe関数呼び出しをunsafeブロックで囲む修正
- ビルド警告は残るが、すべて未使用import/変数なので問題なし

## テスト結果（すべて成功！）
- ✅ Array demo: 結果5（push/size/get動作確認）
- ✅ Array set demo: 結果42（set操作確認）
- ✅ Map RO demo: 結果200（size/get/has確認）
- ✅ JIT経路: シンボリック呼び出し確認

## 革命的発見の証明
- ユーザーBox + プラグインBoxの2種類で十分だった！
- ビルトインBox不要（すべてプラグイン化可能）
- スタティックリンクでオーバーヘッド解消

「シンプルが最強」の実証完了にゃ！😺

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

Co-Authored-By: Claude <noreply@anthropic.com>
 2025-08-29 05:07:47 +09:00
Moe Charm
c954b1f520 feat(plugins): ArrayBox/MapBoxプラグイン実装とPhase 10.1計画 
🎯 革命的発見: プラグインC ABI = JIT→EXE変換の統一基盤

## 主な変更点
- ArrayBoxプラグイン: get/set/push/size/is_empty実装
- MapBoxプラグイン: size/get/has実装（ROメソッドのみ）
- Phase 10.1ドキュメント: プラグインBox統一化計画
- デモファイル3種: プラグイン動作確認用

## 技術的詳細
- BID-FFI (Box ID Foreign Function Interface) 活用
- 既存のプラグインシステムでJIT/AOT統一可能
- スタティックリンクでオーバーヘッド解消
- "Everything is Box → Everything is Plugin → Everything is Executable"

## テスト済み
- array_plugin_demo.nyash: 基本動作確認 ✅
- array_plugin_set_demo.nyash: set操作確認 ✅
- map_plugin_ro_demo.nyash: RO操作確認 ✅

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

Co-Authored-By: Claude <noreply@anthropic.com>
 2025-08-29 04:37:30 +09:00
Moe Charm
77816ab19f fix(jit): リファクタリング後のビルドエラーを修正 
- extern_thunks.rsへの関数移動に伴うインポート追加
- 存在しない関数名の参照を削除（string_len_h等）
- 不要なインポートを削除（CallBoundaryBox, NyashRuntimeBuilder等）
- OpEffectのエイリアスを修正（Effect as OpEffect）

ChatGPT5さんのリファクタリング作業の続き。ファイルサイズ削減（~1000行）により
AI連携が容易になりました。

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

Co-Authored-By: Claude <noreply@anthropic.com>
 2025-08-29 02:26:03 +09:00
Moe Charm
25fbebd650 docs: AOT/ネイティブコンパイル情報をexecution-backends.mdに追加 
- 4つ目の実行方式としてAOT（Ahead-of-Time）コンパイルを文書化
- MIR→WASM→.cwasm のコンパイルパイプラインを説明
- wasm-backend featureでのビルド方法を明記
- 現在の実装状況（完全なスタンドアロン実行ファイルはTODO）を記載
- CLAUDE.mdのWASM説明も3種類（Rust→WASM、Nyash→WASM、Nyash→AOT）に更新
- CURRENT_TASK.mdにPhase 10.9/10.10の完了項目を追加

ChatGPT5さんのAOT試行に対応した適切なドキュメント配置を実施

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

Co-Authored-By: Claude <noreply@anthropic.com>
 2025-08-29 02:05:39 +09:00
Moe Charm
d67f27f4b8 Phase 10.10: GC Switchable Runtime & Unified Debug System 実装完了 
Phase 10.10の主要実装:
- GcConfigBox: GC設定の実行時制御（counting/trace/barrier_strict）
- DebugConfigBox: デバッグ設定の統一管理（JIT events/stats/dump/dot）
- メソッドディスパッチ: system_methods.rsで両Boxのメソッド実装
- CountingGC動作確認: write_barriers正常カウント（VM実行時）

技術的詳細:
- BoxCore/BoxBase統一アーキテクチャを活用
- setFlag/getFlag/apply/summaryメソッドで統一API提供
- 環境変数経由でVM/JITランタイムと連携
- GcConfigBox.apply()は次回実行から有効（ランタイム作成前に環境変数参照）

テスト済み:
- examples/gc_counting_demo.nyash: CountingGCの動作確認
- write_barriers=3でArray.push/set, Map.setを正しくカウント
- NYASH_GC_TRACE=1でGC統計出力確認

Box-First哲学の体現: 設定も制御も観測もすべてBox！

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

Co-Authored-By: Claude <noreply@anthropic.com>
 2025-08-28 22:31:51 +09:00
Moe Charm
4e1b595796 AI協調開発研究ドキュメントの完成と Phase 10.9-β 進捗 
【AI協調開発研究】
- AI二重化モデルの学術論文draft完成（workshop_paper_draft.md）
- 「隠れた危機」分析とbirthの原則哲学化
- TyEnv「唯一の真実」協調会話を保存・研究資料に統合
- papers管理構造の整備（wip/under-review/published分離）

【Phase 10.9-β HostCall進捗】
- JitConfigBox: relax_numeric フラグ追加（i64→f64コアーション制御）
- HostcallRegistryBox: 署名検証・白黒リスト・コアーション対応
- JitHostcallRegistryBox: Nyash側レジストリ操作API
- Lower統合: env直読 → jit::config::current() 参照に統一
- 数値緩和設定: NYASH_JIT_HOSTCALL_RELAX_NUMERIC/Config.set_flag

【検証サンプル拡充】
- math.sin/cos/abs/min/max 関数スタイル（examples/jit_math_function_style_*.nyash）
- 境界ケース: 署名不一致・コアーション許可・mutating拒否サンプル
- E2E実証: String.length→allow, Array.push→fallback, math関数の署名一致観測

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

Co-Authored-By: Claude <noreply@anthropic.com>
 2025-08-28 12:09:09 +09:00
Moe Charm
e54561e69f Phase 10.7 - JIT統計とイベント機能の完成 
主要な実装:
- PHI(b1)統計追跡: phi_total_slots/phi_b1_slotsをJSON出力
- 関数単位統計API: JitStatsBox.perFunction()で詳細統計取得
- JITイベントシステム: compile/execute/fallback/trapをJSONL形式で記録
- Store/Load命令対応: ローカル変数を含む関数のJIT実行が可能に

新しいBox:
- JitStatsBox: JIT統計の取得
- JitConfigBox: JIT設定の管理（将来用）
- JitEventsBox: イベントのJSONL出力（将来用）
- JitPolicyBox: 実行ポリシー管理（将来用）

CLI拡張:
- --jit-exec, --jit-stats, --jit-dump等のフラグ追加
- --jit-directモードでの独立JIT実行
- NYASH_JIT_*環境変数によるきめ細かい制御

ドキュメント:
- Phase 10.7実装計画の詳細化
- Phase 10.9 (ビルトインBox JIT) の計画追加
- JIT統計JSONスキーマ v1の仕様化

ChatGPT5との共同開発により、JIT基盤が大幅に強化されました。
次はPhase 10.9でビルトインBoxのJIT対応を進め、
Python統合（Phase 10.1）への道を開きます。

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

Co-Authored-By: Claude <noreply@anthropic.com>
 2025-08-28 09:26:58 +09:00
Moe Charm
633a073a30 Phase 10.7 (NYASH_JIT_PHI_MIN=1): Minimal PHI support for single-diamond via block params; extend IRBuilder with block-param/jump-args APIs; implement in CraneliftBuilder; update LowerCore two-pass for PHI wiring. 2025-08-27 17:52:37 +09:00
Moe Charm
6bfb38949c JIT cond path: keep compare result as b1; br_if accepts b1 or i64 (!=0); add branch_return to benchmark suite. 2025-08-27 17:39:12 +09:00
Moe Charm
d3e81dedb3 Phase 10.7: Implement Cranelift block wiring hooks (prepare/switch/seal, brif/jump) and integrate in LowerCore; build passes with cranelift-jit; JIT branch demo runs (no side-effects inline). 2025-08-27 17:18:09 +09:00
Moe Charm
1b55233365 Implement Phase 10.7 control-flow hooks in CraneliftBuilder: block vectors, switch/seal, br_if/jump; adjust begin_function and emit sites to honor current block. (Feature-gated) 2025-08-27 17:14:37 +09:00
Moe Charm
e352168f81 Phase 10.7 scaffolding: IRBuilder control-flow APIs; LowerCore prepares block mapping and calls branch/jump hooks (no-op by default). 2025-08-27 17:08:49 +09:00
Moe Charm
ddae7fe1fc Phase 10_6b scheduler complete; 10_4 GC hooks + counting/strict tracing; 10_c minimal JIT path (i64/bool consts, binop/compare/return, hostcall opt-in); docs & examples; add Phase 10.7 roadmap (JIT branch wiring + minimal ABI). 2025-08-27 17:06:46 +09:00
Moe Charm
de03514085 feat: Phase 10_b JIT implementation progress + academic paper ideas 
Phase 10_b JIT Lower implementation:
- IRBuilder abstraction with NoopBuilder (emit counting) ✅
- CraneliftBuilder skeleton (feature `cranelift-jit`) ✅
- LowerCore implementation (Const/Copy/BinOp/Cmp/Branch/Ret) ✅
- Engine.compile with builder selection and JIT handle generation ✅
- JIT function table with stub functions ✅
- Basic i64 const/binop/ret emission for Cranelift
- VM execution path with NYASH_JIT_EXEC=1 support

Academic ideas and analysis:
- "Everything is Thread-Safe Box" concept
- "GC as debug tool" paradigm analysis
- GC switchable semantic equivalence documentation
- Gemini & Codex evaluation on academic paper potential
- Nyash academic papers potential themes

Current limitations:
- Return values limited to i64 (VMValue::Integer)
- Arguments not yet supported
- Compare/Branch emit not implemented
- Trap→VM fallback not implemented

🤖 Generated with Claude Code

Co-Authored-By: Claude <noreply@anthropic.com>
 2025-08-27 03:16:57 +09:00