4e1b595796
【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>
18 lines
519 B
Plaintext
18 lines
519 B
Plaintext
// Array push - mutating operation
|
|
// Expect: decision="fallback", reason="policy_denied_mutating"
|
|
// Run:
|
|
// NYASH_JIT_EXEC=1 NYASH_JIT_THRESHOLD=1 NYASH_JIT_EVENTS=1 NYASH_JIT_HOSTCALL=1 \
|
|
// ./target/release/nyash --backend vm examples/jit_hostcall_array_push_mutating.nyash
|
|
|
|
static box Main {
|
|
main() {
|
|
local a, x
|
|
a = new ArrayBox()
|
|
x = "item1"
|
|
|
|
// Mutating operation - should fallback with policy_denied_mutating
|
|
a.push(x)
|
|
|
|
return a.length() // ReadOnly - should allow
|
|
}
|
|
} |