NEPLg2.1 compiler performance / cache design 2026-05-27

位置づけ

この文書は、NEPLg2.1 移行中の compile-time performance 改善方針を固定する。対象は Rust 実装の nepl-core、Web/WASM wrapper の nepl-web、Node test runner、stdlib prelude/import graph である。

2026-05-27 に Zenn の「試作段階における開発方針」を再確認した。現段階では後方互換よりも設計の正しさを優先する。ただし静的検査の正確性、source capability、Resource IR の安全性証明を削って速度を得ることはしない。timeout 延長、検査削除、coverage 削減は performance fix として扱わない。

目標

• 通常の 1 program compile は 0.5 秒未満にする。
• release WASM artifact を使う warm session では、最小規模の微小再compileを 10ms 未満にする。
• stdlib は、generic の具体化以外をできるだけ事前検査済み artifact として扱い、通常 compile では link / instantiate に近い形に寄せる。
• cache は純粋な query result として扱い、入力 hash、compiler version、target、profile、stdlib artifact hash を key にする。

CI timeout headroom

CI の timeout や worker 並列度は、性能改善そのものではない。現在の examples/nm.nepl は
初回 compile の resource_static_initialized_moves が 10 秒台を占めるため、GitHub Actions の
examples-test では wasm compiler worker を過剰に並列実行すると 20 秒の per-case timeout に
近づきすぎる。

2026-06-01 の checkpoint では、examples-test を -j 2、NEPL_TEST_CASE_TIMEOUT_MS=60000
へ変更し、現在の base compile が不安定な CI failure で隠れないようにした。この変更は
0.5 秒未満 compile 目標の達成ではなく、ISS-20260524T225852366Z-PER-PROGRAM-COMPILE-TIME-EXCEEDS-DEF-189918C5
の継続作業中に CI の観測面を保つための headroom である。

判明した根本原因

現在の測定値

測定日は 2026-05-27。対象は現在 branch の実装である。

release WASM では、最小 program の warm compile が 10ms 未満になった。一方で aggregate/generic/stdlib-heavy case の微小変更を常に 10ms 未満にするには、source-level warmup だけでは不足する。次段階では CompilerSession と stdlib prechecked artifact が必要である。

実装済みの境界

• Resource IR 前の entry reachability pruning。
• unknown call graph では pruning を行わない conservative-all fallback。
• HIR 到達性解析で、直接関数値、immutable let の関数値、非 mutable parameter へ渡された既知関数値を追跡する。
• Copy / Clone primitive module と core/traits/copy facade の責務分離。
• core/mem/types の軽量化と region_in_bounds の pointer region module への移動。
• WASM wrapper の bundled stdlib lookup を &'static str source table + overlay source に分離。
• Node runner の stdlib VFS freshness 判定、warm compile、timing metadata。
• Resource IR の per-function timing instrumentation は環境変数 NEPL_RESOURCE_PER_FUNCTION_TIMING で明示した時だけ出す。
• nepl-web に CompilerSession wasm-bindgen class を公開し、WASM instance 内で bundled stdlib source table を保持する。
• Node runner は CompilerSession が利用できる場合に session API を優先し、JSON timing に compiler_session を出す。
• nepl-web build artifact に bundled stdlib content hash を埋め込み、Node runner の stdlib freshness 判定は hash を優先する。
• Web playground worker と tutorial runtime は method 単位で CompilerSession を優先し、旧 artifact で該当 session API がない場合だけ stateless / full stdlib VFS fallback を使う。
• Web playground の compile request は editor 用 read-only stdlib files や runtime data files を overlay VFS へ含めず、user-editable .nepl source だけを worker へ渡す。WASI 実行用の VFS snapshot は compile overlay と分離して保持する。
• nepl-core::loader に LoaderSessionCache を追加し、provider-backed load では bundled stdlib の raw parsed module を session 内で再利用する。
• parsed stdlib module cache は cache version + stdlib namespace hash + canonical path + source hash + imported type arity hint hash を key にし、SourceMap / typed HIR / TypeId を保存しない。
• cached AST は中立 FileId に正規化して保持し、compile ごとの fresh SourceMap で採番された FileId へ再投影してから merged module へ使う。
• stdlib override / overlay が /stdlib 以下を差し替える場合は parsed module cache を bypass し、bundled stdlib 用 artifact を local override へ混ぜない。
• LoaderSessionCache は source arity surface cache も保持する。value は local type arity hints、prelude/import/include/public re-export の resolved path、root-only default prelude 判定だけであり、FileId / Span / ImportResolution / typed HIR / TypeId は保存しない。
• source arity surface は cache version + stdlib namespace hash + stdlib root + canonical path + source hash を key にする。public re-export 先の arity result は親 surface へ畳み込まず、依存先 source hash の別 query として再評価する。
• Web playground の trunk build は Rust/WASM artifact を release profile で生成する。NEPL source 側の #if[profile=...] 既定値は debug のまま分離し、compiler artifact の最適化状態で source semantics が変わらないようにする。
• CompilerSession は同一 source / VFS / profile / WAT comment mode の compiled output を小さな LRU 風 cache に保持する。これは同一 session の再compileでResource IR全体を再実行しないための応急的な出力cacheであり、typed public surface / Resource IR summary の semantic incremental cache を置き換えるものではない。
• PreparedProgram は ResourceSummaryCacheNamespaceKey を保持する。これは target / profile / typed public signature hash / dependency public surface hash option から決定的に作る module-level namespace key であり、Resource IR summary value の再利用はまだ行わない。
• stdlib/alloc/string/integer/parse.nepl の signed integer parse は、str_slice で一時 signed body を構築してから to_u128_radix の Result を再度 match する形をやめ、private digit parser を開始 index 指定で共有する。これは stdlib 実装を軽くするだけでなく、Resource IR の branch / match / owner-state exploration を減らす。
• stdlib/alloc/string/integer/format/i32_decimal.nepl は、文字列確保を伴わない i32 decimal byte helper として alloc/string/integer/format 配下に置く。std/stdio/print_i32 はこの helper を使い、stdout effect 以外の builder / raw memory graph を RPN print 経路へ持ち込まない。
• Resource path-state replay では、branch / match 後に保持する alternatives と replay 対象 alternatives を所有権移動で渡し、丸ごと clone を避ける。重複排除を常時行う案は equality cost が高く、budget 超過時のみに留める。

RPN signed integer parse checkpoint

2026-05-28 の checkpoint では、Resource summary value cache の本体実装へ入る前に、RPN workload で実測上重かった stdlib integer parse と path-sensitive replay の clone を整理した。

to_i128_radix の旧実装は、先頭 - を見つけると str_slice s 1 n で本文を作り、to_u128_radix を呼んでから Result を match していた。この形は実行時には単純でも、Resource IR 静的検査では slice construction、callee summary、Result branch、i128 範囲判定が重なり、to_i128_radix 自体の initialized function check が RPN の上位コストになっていた。

新しい境界:

• parse_u128_radix_digits_from s radix start は private helper である。
• to_u128_radix は validate_radix 後に start=0 で helper を呼ぶ。
• to_i128_radix は validate_radix 後、負号がある場合だけ start=1 にして helper を呼ぶ。
• helper は u128_can_mul_add_small による overflow check を u128_mul_small / u128_add_small の前に行う。
• to_i128_radix は helper の magnitude に i128_magnitude_allowed を適用し、正の 2^127 を拒否し、負の -2^127 を許可する。

source policy では、to_i128_radix に str_slice が戻らないこと、shared u128 digit parser が overflow check 前置を維持することを固定した。doctest には "-" と invalid radix の Err case を追加した。

同 checkpoint の native release RPN stage-only 測定。after best は同一変更後の最良 warm run、after post-trunk は trunk build --release 後に改めて実行した確認値である。

この改善は stdlib 実装と path-state ownership の局所削減であり、初回 compile 0.5 秒未満にはまだ届かない。次の根本対応は、ResourceSummaryCacheNamespaceKey の下で function body hash、generic type-argument hash、source capability policy hash、summary kind/version を組み合わせ、arena 非依存の Resource summary stable mirror value だけを session cache へ保存することである。

Resource static check inner timing checkpoint

2026-06-01 の checkpoint では、RPN same-session edit の残り時間を resource_static_check の内訳と function-level replay probe 数へ分解した。これは safety 判定を変える最適化ではなく、changed-function-only proof replay を入れる前の観測境界である。

追加した観測:

• compile_stage_timings に resource_static_lowering、resource_static_lowering_coverage、resource_static_initialized_moves、resource_static_borrow_lifetimes、resource_static_effect_boundaries、resource_static_owner_obligations などを追加する。
• CompilerSession.loader_cache_stats_json() に Resource static check の function/op 数を出す。
• raw alias、i32 scalar、raw-init、collection-slot、final initialized check について、replay probe / hit / miss の function 数を出す。

tmp/rpn_static_inner_probe_20260601.json の release Web RPN same-session unused local edit 測定では、base compile_ms=10377、edit compile_ms=2384 だった。edit の主要 stage は resource_static_initialized_moves=1056.579ms、resource_static_owner_obligations=878.709ms、resource_typecheck=171.733ms である。

edit delta では resource_summary_value_recomputed_ops=0 だが、raw alias は 288 関数 probe / 287 hit / 1 miss、i32 scalar は 209 probe / 209 hit、raw-init は 151 probe / 151 hit、final initialized check は 288 probe / 287 hit / 1 miss だった。したがって残り時間は stable mirror の false miss ではなく、未変更関数の proof replay probe と、owner obligations の全関数再検査による固定費である。

Owner obligation pass cache checkpoint

2026-06-01 の checkpoint では、owner obligation の全関数再検査を diagnostic-free pass
cache として ResourceSummaryValueCache へ接続した。これは OwnerReturnSummary を保存する
cache ではなく、ResourceOwnerCheckEngine::check_function の結果が diagnostics を持たない
場合だけ、現在の compile でも pass と見なせることを保存する。

cache key は function body hash、dependency closure hash、source capability policy hash、
function-local type boundary、generic boundary、namespace を含む。diagnostics がある関数は
保存しない。cached pass では final_owners を materialize せず、deferred counter だけを
戻す。現在の compiler gate は owner diagnostics だけを失敗条件として消費するため、この
API は pass-only replay として閉じる。将来 final_owners を後続 stage が読む場合は、別の
stable owner state mirror を設計し、この fast path とは分ける。

tmp/rpn_owner_obligation_cache_probe_final_20260601.json の release Web RPN same-session string
literal edit 測定では、base compile_ms=10801、edit compile_ms=3006 だった。edit delta
では resource_owner_obligation_function_checks=0、resource_owner_obligation_function_check_ops=0、
resource_summary_value_owner_obligation_check_replay_hit_functions=288 になり、owner checker
本体は全関数で replay できている。

ただし edit の resource_static_owner_obligations はまだ 1534.075ms 残る。これは cached
pass の前に compute_owner_return_summaries が全関数 fixed-point を走らせるためである。
OwnerReturnSummary は TypeId、projection、variant condition、host memory span、storage
origin marker などを含むため、単純な session-local Vec<OwnerReturnSummary> reuse は不可である。
次の根本対応は ISS-20260601T174500000Z-OWNER-RETURN-SUMMARY-NEEDS-STABLE-CACH-8A7B61D2 として、
owner return summary の stable mirror value cache を設計する。

Final initialized pass plan checkpoint

2026-06-01 の checkpoint では、final initialized function check の pass-only replay を
changed-function-aware にした。これは full ResourceFunctionCheck の永続化ではなく、
diagnostic-free / auto-drop-free pass として既に安全に保存できた関数について、次回 compile で
dependency closure hash の再構築と replay probe を省くための compile-local plan である。

plan は前回 compile の local fingerprint と現在 compile の local fingerprint を比較する。
fingerprint は関数 identity、Resource IR body hash、type boundary、generic boundary、source
capability policy hash から成り、TypeId、Span、SourceMap、final cell state を含まない。
変化した関数から ResourceSummaryDependencyGraph の reverse dependents を辿り、affected set
を作る。affected ではない関数だけ、前回 snapshot の ResourceCheckDeferred を checked pass
として戻す。

この checkpoint の安全境界:

• namespace、関数 order、fingerprint の構築に失敗した場合は conservative-all に倒す。
• diagnostic または auto-drop point を持つ関数は snapshot pass にしない。
• summary fixed-point 側の raw alias / i32 scalar / raw-init preseed loop にはまだ適用しない。

これらは affected 関数の再計算に callee summary materialization が必要であり、単純に全関数
probe を消すと caller summary が空に見える危険がある。

Web / Node の cache stats には
resource_summary_value_initialized_function_check_plan_skip_functions と
resource_summary_value_initialized_function_check_plan_skip_ops を追加した。これにより、通常の
resource_summary_value_initialized_function_check_replay_probe_functions が減った場合でも、
checked pass として省略された関数数を確認できる。

tmp/rpn_final_initialized_pass_plan_20260601.json では、release Web RPN same-session string
literal edit が base compile_ms=9998、edit compile_ms=2178 だった。edit delta は
resource_summary_value_initialized_function_check_plan_skip_functions=288、
resource_summary_value_initialized_function_check_plan_skip_ops=3639、
resource_summary_value_initialized_function_check_replay_probe_functions=0 である。final check
の replay probe 固定費は消えたが、total compile_ms はまだ 0.1 秒以下ではないため、次は
summary fixed-point 側と typed expression subtree query を継続する。

CompilerSession first checkpoint

2026-05-27 の first checkpoint では、公開 API の境界を先に session 化した。現在の CompilerSession は bundled stdlib source table の保持までを行い、parse / typecheck / Resource IR summary cache はまだ持たない。

この段階での目的は、Web / Node 側の呼び出し元を「1 compile call = stateless function」から「WASM instance 内の session」へ移すことである。これにより、後続の parsed stdlib module、public signature table、Resource IR summary template を同じ API に追加できる。

追加測定:

CompilerSession がまだ semantic cache を持たないため、aggregate case は 10ms 未満には届いていない。次の checkpoint では、stdlib parse/import/type arity/typecheck artifact を session に持たせる。

stdlib freshness は、同一 timestamp や process-local mtime cache の stale 判定を避けるため、artifact に埋め込まれた fnv1a64 content hash と local stdlib tree hash の比較を優先する。旧 artifact で hash API が存在しない場合だけ mtime fallback を使う。

Web playground の terminal worker と tutorial runtime も同じ session API 境界へ寄せた。これにより、playground 側でも通常の compile request は CompilerSession の compile_outputs_with_vfs / compile_source_with_vfs_and_profile を通る。旧 artifact 互換のため stateless API と full stdlib VFS fallback は残すが、fallback は該当 session method が存在しない場合だけに限定する。

workspace VFS には explorer 表示用の read-only stdlib files と、実行時に参照する data files / binary outputs が入るが、compile overlay として必要なのは user-editable .nepl source module だけである。VFS.serializeForCompile() は read-only file、.nepl 以外の runtime data file、binary output を除外し、entry source と editable user module だけを worker へ渡す。WASI 実行時は runtimeVfsData として full VFS snapshot を別に渡すため、compile 軽量化で実行時ファイルは失われない。bundled stdlib は session 側の source table が担当する。

Web terminal は compile 用 Worker を artifact URL 単位で保持する。neplg2 build の連続実行は同じ Worker / WASM instance / CompilerSession を再利用し、次段階の parsed stdlib cache をそのまま載せられる。neplg2 run は compile だけを persistent Worker に通し、生成された wasm の実行は一回限りの runtime Worker に渡す。これにより CompilerSession の寿命と WASI process の寿命を分け、stdin / runtime trap / VFS side effect が compile cache に混ざらない。

LoaderSessionCache checkpoint

2026-05-27 の second checkpoint では、CompilerSession に loader-level parsed stdlib cache を接続した。これは stdlib prechecked artifact の最初の実装単位であり、まだ full typed HIR cache ではない。

cache する artifact:

• bundled stdlib の raw parsed Module。
• parsed module から得た SourceCapabilities。
• cache hit / miss / store / bypass の統計。

cache しない artifact:

• SourceMap。
• merged module 全体。
• ImportResolution。
• typechecked HIR。
• TypeCtx / TypeId。
• Resource IR summary。
• codegen fragment。

この境界にした理由は、SourceMap が compile ごとに append-only の FileId を割り当てるためである。AST / HIR / diagnostics / source capability proof には Span が含まれるので、古い FileId をそのまま再利用すると、別 source へ capability を与える、import visibility がずれる、診断位置が誤る、という壊れ方をする。

実装では、cache に保存する AST を CACHED_MODULE_FILE_ID へ正規化し、cache hit 時に現在 compile の SourceMap が割り当てた FileId へ再投影する。Span::dummy() は実 source 位置ではないため再投影しない。source capability は byte range と capability kind だけを持つので、同じ source hash に対してのみ再利用し、現在の SourceMap file slot に設定する。

CompilerSession.loader_cache_stats_json() は Node / Web から cache hit を観測するための API である。nodesrc/run_test.js はこの統計を timing.compiler_session_cache_before / timing.compiler_session_cache_after として JSON output へ含める。

subagent review 後に、次の safety regression を追加した。

• 同一 canonical stdlib path でも source hash が変わる場合は cache hit しない。
• imported type arity hints が変わる場合は、source text が同じ dependent module でも cache hit しない。
• forced stdlib VFS / stdlib overlay path は session API 経由でも bundled stdlib parsed module cache を使わない。
• LoaderSessionCache は new(namespace_hash) で作成し、空 namespace の Default cache を公開しない。

追加測定:

同一 session で同じ aggregate source を再compileした場合は、stdlib parsed module cache が全て hit し、10ms 未満に入った。一方で、まだ初回に import されていない stdlib module を含む aggregate case では、追加 module の parse / import / typecheck / Resource IR / codegen が残るため 10ms を超えることがある。次 checkpoint は public surface / import graph / Resource IR summary cache へ進める。

Source arity surface checkpoint

2026-05-27 の third checkpoint では、loader-level の source arity surface cache を LoaderSessionCache に追加した。これは typed public signature table ではなく、NEPLg2.1 prefix type parser が依存 module の型arity境界を知るための未型付け artifact である。

cache する artifact:

• source 内で宣言された struct / enum / trait の local type arity hints。
• #prelude、#import、#include から得られる type arity preload path。
• shallow cycle recovery が見る #import pub と #include の public re-export path。
• root source だけに適用する default prelude の resolved path と #no_prelude 判定。
• cache hit / miss / store の統計。

cache しない artifact:

• 依存先 module を再帰的に畳み込んだ type arity result。
• SourceMap / FileId / Span。
• ImportResolution。
• typed signature / typed HIR。
• TypeCtx / TypeId。
• Resource IR summary。

依存先の public type arity を親 module の surface value に畳み込まない理由は、依存先 source が変わったときに親 source hash が変わらなくても parser boundary が変わり得るためである。親 surface は public re-export edge だけを保持し、依存先 surface は依存先の source hash で別 query として引き直す。これにより、facade source が unchanged で cache hit しても、re-export 先の Box<.T> が Box<.T,.U> に変わった場合は新しい arity が使われる。

CompilerSession.loader_cache_stats_json() は arity_surface_hits / arity_surface_misses / arity_surface_stores を返す。Node / Web 側の timing JSON は既存の compiler_session_cache_before / compiler_session_cache_after 経由でこの統計を観測できる。

追加 regression:

• source text が同じ場合、source arity surface が session 内で再利用される。
• 同じ cached surface から root / non-root の preload path を計算しても、default prelude は root にだけ入る。
• lexer error のある source では、旧 type_arity_preload_paths と同じく default prelude を preload せず、通常 parser path の lexer diagnostic を優先する。
• public re-export facade が cache hit しても、re-export 先 source hash の変化は新しい type arity として反映される。

追加測定:

Source-directed loader prewarm checkpoint

2026-05-27 の fourth checkpoint では、Node / Web の warm session が root source の import surface から到達する bundled stdlib roots を compile 前に loader cache へ入れるようにした。subagent review では、全 bundled_sources.keys() を総なめする案は、program dependency graph ではなく packaging file list に依存し、未使用 module の parse failure や将来の invalidation boundary を不明確にするため却下した。

prewarm 対象:

• root source の default prelude。
• 明示 #prelude。
• root source に直接書かれた #import。
• root source に直接書かれた #include。
• 上記 roots から通常 loader が辿る configured stdlib dependency closure。

prewarm しない対象:

• bundled stdlib の全ファイル一覧。
• user source と user VFS module の arity surface。
• forced stdlib VFS / local stdlib override / /stdlib overlay がある compile。
• typed HIR、ImportResolution、Resource IR、codegen fragment。

この checkpoint で、LoaderSessionCache の arity surface cache は configured stdlib path に限定した。従来の実装では user entry source の arity surface も source hash key で保存され得たため、FileId 安全性は壊れないものの、長寿命 CompilerSession の memory boundary と「stdlib artifact cache」という設計コメントが一致していなかった。現在は user source scan を arity_surface_bypasses として観測し、cache value には残さない。

CompilerSession.prewarm_loader_cache_for_source(entry_path, source) は source-directed prewarm だけを公開する。Node runner は selectStdlibVfsMode(meta) == "bundled" の場合だけ呼び、forced / fs override では skip reason を timing へ残す。prewarm 中の loader error は optimization failure として compiler_session_prewarm_error に記録し、通常 compile path を続行する。これにより、prewarm 専用の失敗が本来の compile diagnostic を隠さない。

追加 regression:

• user source の arity surface は LoaderSessionCache に store/hit されず、bypass として観測される。
• source-directed prewarm は root source から到達する stdlib root だけを数え、依存 closure の parsed module / arity surface を cache する。
• forced stdlib VFS では bundled stdlib prewarm を呼ばない。
• prewarm error が起きても、run result の compile error は本来の compile path の error を保持する。

追加測定:

この checkpoint は cache boundary と観測性を改善したが、aggregate first の total compile_ms はまだ 10ms 未満へ固定できていない。prewarm は loader-level query だけなので、初回 aggregate には typecheck / typed public surface / Resource IR / codegen の未cache work が残る。次 checkpoint は、typed public surface に進む前に logical import graph と dependency public surface hash の安定表現を実装し、stdlib facade / re-export 変更時の invalidation を明確にする。

Private memoization purity design checkpoint

2026-05-31 に、compiler cache の将来設計と同じ純粋 query model を source language 側の memo_call へ展開するため、NEPLg2 private effect / memoization purity design を追加した。

この設計では、Pure を「内部 mutation がない」ではなく「外部観測可能な effect がない」と定義する。PrivateCache / PrivateState はそれ自体を Pure と同一視せず、fresh private region が return value、public state、raw pointer、reference、owner token、function identity へ escape しない場合だけ Pure へ mask する。

短期の memo_call は compiler-known trusted primitive とし、non-capturing named pure function value と Copy 相当の MemoKey / MemoValue だけを対象にする。これは runtime feature の設計だが、self-host compiler の query cache / incremental compile でも「純粋関数の結果を private cache に保存し、外部観測上は pure」と表現するための前提になる。

同じ review で、RPN compile の現在の支配点は Resource summary value cache の raw-init replay と再確認した。tmp/rpn_owner_boundary_20260531.json の初回測定では compile_ms=9615、raw_init_param_facts_stores=165、bypasses=60、incomplete_leaf=37、reprojection_value=23、param_cell_stable_type=23 である。次の性能 checkpoint は、reprojection_context=0、unstable_key=0、unstable_entry=0 を維持しながら、labelled open generic の provenance / ordinal を stable entry と key へ加えて param_cell_stable_type を減らす。

Final initialized function check cache checkpoint

2026-05-31 の checkpoint では、raw-init / i32 scalar summary replay 後にも残っていた final initialized function check の全関数再実行を削るため、ResourceFunctionCheck の diagnostic-free stable entry cache を追加した。

cache する artifact:

• final_cells。
• final_collection_slots。
• ResourceCheckDeferred。

cache しない artifact:

• ResourceCheckDiagnostic。diagnostic は Span を持つため、古い source map 由来の診断を replay しない。
• auto_drop_points。drop elaboration が span 付きの drop plan として後続生成に使うため、span-free drop plan と current body への再束縛を設計するまでは no-store にする。
• PlaceRoot::Unknown を含む final state。

key は Resource IR body hash、source capability policy hash、typed signature/type boundary、generic type argument mode、dependency closure hash を含む。final state に含まれる TypeId は ResourceSummaryStableTypeKey へ変換し、replay 時に現在 compile の TypeCtx へ戻せる場合だけ hit とする。

ResourceId / StorageId は stable value へ直接保存しない。関数本文を決定的順序で走査し、temporary / storage root を出現順 ordinal に正規化して保存する。replay 側でも現在の同じ body から ordinal を実 id へ戻すため、compile session 内の id 割当が変わっても stale id を直接使わない。

focused regression:

• 同一 diagnostic-free function は二回目 compile で ResourceCheckEngine を再実行しない。
• function body が変わると miss になり通常 checker へ戻る。
• auto_drop_points を持つ function check は no-store になる。

release Web RPN same-session code edit 測定 tmp/rpn_final_check_cache_code_edit_20260531.json では、base compile_ms=12465、unused local 追加 edit compile_ms=8254 だった。edit delta は resource_initialized_function_checks=128、resource_initialized_function_check_ops=2202、resource_summary_value_initialized_function_check_hits=160、resource_summary_value_replayed_ops=2122 である。

直前の i32 scalar checkpoint では code edit delta が resource_initialized_function_checks=288 だったため、final check cache は一部の stdlib function check を skip できている。一方で、まだ initialized_function_check_reprojection_value_type_bypasses=73 と initialized_function_check_reprojection_value_place_bypasses=52 が残る。これは final check cache 自体を閉じるには不十分なので、残件は ISS-20260531T061756145Z-FINAL-INITIALIZED-CHECK-REPLAY-STILL-5CB1018A で追跡する。

Final initialized function check reprojection checkpoint

2026-05-31 の final initialized function check checkpoint では、RPN code edit で残っていた replay bypass のうち、body-local type boundary と function-local storage offset place を root cause とするものを解消した。

変更した stable replay boundary:

• ResourceSummaryTypeReprojection::new_for_initialized_function_check を追加し、function body に現れる type を final check replay 専用 boundary へ入れる。
• final check entry の storage offset place は、parameter-relative place だけでなく function-local Temporary / Storage ordinal を持つ resource place として保存できる。
• Resource IR body hash が同一である replay では、generic や raw storage view のため現在 TypeCtx だけで layout を再計算できない projection suffix を、保存済み stable projection surface から戻す。ただし offset 内 place や type 再投影に失敗した場合は従来通り通常 checker へ戻る。
• summary/raw-init 系の SummaryOffset 再投影は、新しい resource-place offset を受け取らない。これは final check entry 専用 surface を他の summary kind へ混ぜないためである。

測定:

測定 JSON は tmp/rpn_final_check_reprojection_boundary_20260531.json に保存した。今回の修正で final check の主要な replay false miss は解消したが、7 件の type-only bypass は ISS-20260531T065418483Z-FINAL-INITIALIZED-CHECK-RESIDUAL-TYP-320256A9 に分離した。さらに RPN code edit は resource_raw_alias_summary_recomputations=288、resource_raw_init_summary_recomputations=81 も残しており、次の支配項は raw alias / raw-init side の incremental replay である。

Final initialized function check residual type checkpoint

2026-05-31 の residual type checkpoint では、残った 7 件の final check type-only replay bypass を細分した。追加 counter は place_type、projection_result_type、cell_state_type、collection_slot_state_type を分ける。

tmp/rpn_final_check_residual_type_counter_20260531.json では、7 件すべてが projection_result_type だった。これは stable place type 自体が戻らない問題ではなく、base type + projection suffix から現在 TypeCtx で再計算した型と、final checker が保存した place type の canonicalization が一致しない問題である。

final check entry は Resource IR body hash と stable place surface が同一の場合にだけ replay される。保存済み place type が current boundary へ再投影できている場合、その型は Resource IR final state の proof surface として扱えるため、projection layout の再計算型が一致しない場合も保存済み型を採用する。TypeCtx 全体から似た型を探す緩和は導入しない。

測定:

測定 JSON は tmp/rpn_final_check_residual_type_fix_20260531.json に保存した。final check replay の type/place false miss は解消したため、次の支配項は resource_raw_alias_summary_recomputations=288 と resource_raw_init_summary_recomputations=81 である。これらは ISS-20260531T071945698Z-RAW-ALIAS-SUMMARIES-NEED-STABLE-MIRR-4DCE44A8 と ISS-20260531T071956084Z-RAW-INIT-RESIDUAL-RECOMPUTATIONS-NEE-C36FBACE に分離した。

Raw alias summary stable mirror checkpoint

2026-05-31 の raw alias checkpoint では、RawCellAddressReturnSummary を stable entry として保存し、現在 compile の function signature / projection / type boundary へ再投影できる場合だけ raw alias fixed-point worklist を preseed するようにした。cache key には function body hash、source capability policy hash、dependency closure hash、summary type boundary、generic argument mode を含める。stable value には TypeId、Span、SourceMap、compile ごとの raw address graph state を入れない。

empty summary も entry として保存する。raw alias summary vector 上は「summary なし」と同じ意味だが、worklist へ戻す必要がない no-alias 関数を区別できるため、同じ CompilerSession 内の微小編集で fixed-point の初期 pending を減らせる。preseed で初期 pending から外した関数も relevant には残すため、依存先 summary が変わった場合は notify_changed により再度 worklist へ入る。

測定:

測定 JSON は tmp/rpn_raw_alias_cache_code_edit_20260531.json に保存した。raw alias fixed-point の全関数規模再計算は解消したが、全体 compile time はまだ秒単位であり、同じ測定の edit delta では resource_raw_init_summary_recomputations=81、resource_initialized_function_checks=13 も残る。残った raw alias 側の 13 件の reprojection_value bypass は ISS-20260531T075621000Z-RAW-ALIAS-RESIDUAL-REPROJECTION-VAL-9A5D0C3E に分離した。

RPN code-edit stage breakdown checkpoint

2026-05-31 の complete raw-init leaf replay と return / byte-range type canonicalization 後、RPN same-session code edit は raw-init replay miss をほぼ解消したが、まだ秒単位である。tmp/rpn_return_type_canonicalization_code_edit_20260531.json では base compile_ms=8861、local i32 binding 追加 edit compile_ms=6703、edit delta は resource_summary_value_replayed_ops=253、resource_summary_value_recomputed_ops=21、raw_init_param_facts_bypasses=0 だった。

Native release CLI で同じ RPN workload を stage timing した結果、resource_static_check=6950ms の大半は resource_initialized_moves=6050ms であり、そこに resource_initialized_raw_init_summaries=2502ms、resource_initialized_i32_scalar_summaries=1558ms、resource_initialized_function_checks=1875ms が含まれている。raw-init summary replay は有効になっているが、i32 scalar summary と final initialized function check はまだ compile ごとに全関数規模で走っている。

この checkpoint では CompilerSession.loader_cache_stats_json() に次の counter を追加する。

• resource_raw_alias_summary_recomputations / resource_raw_alias_summary_count
• resource_i32_scalar_summary_recomputations / resource_i32_scalar_summary_count
• resource_raw_init_summary_recomputations / resource_raw_init_summary_count
• resource_collection_slot_summary_recomputations / resource_collection_slot_summary_count
• resource_initialized_function_checks / resource_initialized_function_check_ops

これらは semantic cache hit/miss ではなく、raw-init replay 後に残る fixed-point / final check の実行量を Web / Node の same-session JSON で観測するための補助統計である。通常の安全性判定、source capability、Resource IR proof には影響しない。次の根本対応は、i32 scalar summary の stable mirror / replay と、final initialized function check の stdlib prechecked artifact または function-level stable result cache に分けて進める。

tmp/rpn_stage_breakdown_code_edit_20260531.json の first measurement では、unused local 追加 edit が compile_ms=6771 で、delta は resource_i32_scalar_summary_recomputations=209、resource_raw_init_summary_recomputations=81、resource_initialized_function_checks=288、resource_initialized_function_check_ops=3642、resource_summary_value_replayed_ops=253、resource_summary_value_recomputed_ops=21 だった。これにより、raw-init replay をさらに詰めるだけでは不十分で、i32 scalar summary replay と final function check replay を別 issue として進める必要が確定した。

2026-05-31 の i32 scalar stable mirror checkpoint では、I32ScalarReturnFacts の aliases / offsets / relations / constants / return conditions / parameter conditions を ResourceSummaryValueCache の stable entry として保存し、TypeId を現在 compile の function signature へ再投影できる場合だけ worklist 前に preseed するようにした。i32 scalar summary は callee summary と raw-alias summary を取り込むため、key には function body だけでなく dependency closure の body / source capability policy / type boundary hash も含める。facts が空の relevant function も空 summary として cache し、no-fact function が微小編集ごとに worklist へ戻る固定費を消す。

tmp/rpn_i32_scalar_empty_cache_code_edit_20260531.json では、RPN same-session code edit の delta が resource_i32_scalar_summary_recomputations=14 まで減った。resource_summary_value_i32_scalar_return_facts_hits=429、resource_summary_value_replayed_ops=682 で、i32 scalar facts と raw-init facts の replay が同じ session cache 上で効いている。一方で edit compile は compile_ms=6496 でまだ秒単位であり、次の支配項は resource_raw_init_summary_recomputations=81 と resource_initialized_function_checks=288 である。

Source import surface checkpoint

2026-05-27 の fifth checkpoint では、logical import graph を ImportResolution の置き換えとしていきなり導入せず、まず loader の未型付け source surface を import edge 表現へ広げた。subagent review では、ImportResolution が FileId に依存すること、typed public surface hash に TypeId や mangled symbol をそのまま使うと compile ごとの arena / Span に依存することが指摘された。そのため、この checkpoint では FileId / Span / ImportResolution / typed HIR / TypeId を cache value に入れない境界を維持する。

変更した境界:

• parser に parse_import_directive_parts を追加し、loader の raw #import text parsing と parser の import clause parsing が分岐しないようにした。
• CachedAritySurface の内部表現を path list から SourceImportEdge list へ変更した。
• edge value は kind (Prelude / Import / Include)、resolved target path、visibility、import clause、source order を持つ。
• type_arity_preload_paths と shallow public re-export recovery は、この edge list から従来と同じ path list を派生する。
• root-only default prelude、lexer error 時の no-preload、stdlib-only long-lived cache boundary は維持する。

この checkpoint は observational な下準備であり、merged module 作成、typecheck、Resource IR、codegen の入力は変えない。今後の logical import graph は、この source import surface から path/source-hash keyed な nodes / edges / reverse edges / public re-export edges を作り、compile ごとの SourceMap へ materialize して ImportResolution を段階的に置き換える。

追加 regression:

• import surface が source order を保ったまま preload path を派生する。
• public import と include が同じ surface から public re-export path として派生する。
• #import pub "types" as { Box as PublicBox, Result::* } の visibility と selective import clause が path-only edge へ潰れない。

追加測定:

Root import surface prewarm guard checkpoint

2026-05-27 の sixth checkpoint では、source-directed prewarm を semantic cache と混同せず、同じ root import surface に対する loader prewarm の重複実行だけを session 内で省略する guard として実装した。

追加した境界:

• nepl-core::loader は root source から prewarm surface hash と prewarm roots を同時に計算する。
• hash には loader cache version、canonical stdlib root、root default prelude state、#no_prelude、lexer error outcome、prelude/import/include edge の kind / resolved target path / visibility / import clause / source order を含める。
• hash には root source body、コメント、空白、local type arity hints、FileId、Span、ImportResolution、typed HIR、TypeId、Resource IR、codegen fragment を含めない。
• CompilerSession は prewarm 成功後に surface hash と前回の warmed root count だけを保持する。user source の AST / surface value / token stream は保持しない。
• 同じ surface の再 prewarm は前回の warmed root count を返し、provider traversal と stdlib loader query traversal は実行しない。no-op だった事実は prewarm_surface_hits / prewarm_surface_stores で観測する。
• prewarm failure では surface hash を記録しないため、同じ source を次回再試行できる。
• clear_loader_cache() は parsed module / arity surface cache と同時に prewarmed surface map と hit/store counter を消す。
• forced stdlib VFS、FS stdlib override、compile VFS 内の /stdlib overlay では bundled stdlib prewarm を呼ばない。

追加 regression:

• body-only edit では root prewarm surface hash と roots が変わらない。
• import path、import clause、relative import の解決先、lexer error outcome は hash に反映される。
• provider_session_cache_can_prewarm_stdlib_loader_queries の user-source arity bypass 観測を維持する。
• Node runner は同じ session の 2 回目 prewarm reuse を prewarm_surface_hits で観測する。
• Node runner は /stdlib overlay がある compile request では bundled prewarm を skip する。

追加測定:

この checkpoint で微小変更時の loader prewarm は 10ms budget からほぼ外れた。一方で aggregate first は wasm_call_ms=13 が支配的であり、初回に未cache typed public surface / Resource IR summary / codegen が残る。したがって次段階は、logical import graph と dependency public surface hash を安定化し、typed public surface cache へ進む。

Public surface hash checkpoint

2026-05-27 の seventh checkpoint では、typed public surface cache に進む前の未型付け artifact として、stdlib parsed module cache に public_surface_hash を追加した。これは downstream module に見える signature / lookup context の変化を観測するための staging であり、この hash だけで typed HIR、TypeId、Resource IR summary、codegen fragment を再利用しない。

hash に含めるもの:

• loader cache version。
• source import surface から得られる prelude / import / include edge の kind、resolved target path、visibility、import clause、source order。
• #no_prelude、implicit default prelude、default prelude path。
• public function signature、generic type parameter bounds、effect、arity、noshadow。
• public function alias の alias 名、target 名、noshadow、同一 module 内 target callable signature。
• public struct / enum / trait の header、trait capability、trait method signature。
• impl header と method signature。trait / inherent impl lookup に影響し得るため、public filter はまだ掛けない。
• public extern signature、public re-export directive。dependency surface が渡されない単体 test では raw import/include/prelude directive も conservative に含める。

hash に含めないもの:

• docs / comments / whitespace。
• private function body、public function body、raw wasm / raw llvm body。
• FileId、Span、SourceMap、ImportResolution。
• typed HIR、TypeCtx / TypeId、mangled symbol、Resource IR、codegen fragment。

subagent review では、public signature text が同じでも private import / prelude / include の解決先が変われば typed public surface が変わり得ること、public alias が private helper を公開する場合は helper signature を key に含める必要があること、noshadow は cross-file binding behavior の一部であることが指摘された。今回の実装ではこの範囲を loader artifact に反映した。この時点では dependency aggregate hash、reverse graph、canonical typed signature table が未実装だったため、次 checkpoint で SourceImportEdge と module public_surface_hash を畳み込む query を LoaderSessionCache とは別の semantic cache 境界へ接続する方針にした。

追加 regression:

• public function body と private helper の非alias signature change では hash が変わらない。
• public function signature と public re-export clause では hash が変わる。
• public alias が指す local callable signature では hash が変わり、target body-only edit では変わらない。
• private import edge の resolved target path / clause は、public signature text が同じでも hash に反映される。
• public noshadow の有無は hash に反映される。
• provider prewarm 後の同一 session load で public_surface_hash_hits が増える。

追加測定:

この checkpoint は correctness-first の staging であり、aggregate first の compile time を直接下げるものではない。Zenn 方針の「純粋性や責務分割を活かした探索空間削減」に沿って、次の typed public surface cache が body-only edit を安全に再利用し、public dependency change では確実に invalidation できる根拠を用意した。

Dependency aggregate public surface checkpoint

2026-05-27 の eighth checkpoint では、module 単体の public_surface_hash を、root source から到達する configured stdlib dependency closure の aggregate hash へ畳み込む query を追加した。これは typed public signature table ではなく、typed cache key の入力にするための loader-level staging artifact である。

追加した境界:

• Loader::root_dependency_aggregate_public_surface_hash_for_source_with_cache は root source の import surface と、到達する stdlib dependency entry (canonical path, dependency aggregate hash) を順序付きで畳み込む。
• stdlib module の dependency aggregate hash は、module 自身の module_public_surface_hash、children aggregate hash、ordered dependency entries を含む。
• aggregate cache key は canonical stdlib root、canonical module path、module public surface hash、child dependency aggregate hash であり、source body hash ではない。これにより body-only edit は parsed module cache miss になっても aggregate public surface cache は再利用できる。
• non-stdlib dependency edge は bundled stdlib aggregate cache の対象外なので、provider で読まず conservative external hash にして dependency_aggregate_public_surface_hash_bypasses で観測する。
• import cycle に戻る edge は source hash を含む conservative cycle hash にする。body-only edit でも過剰 invalidation し得るが、stale typed cache を作らないことを優先する。
• CompilerSession.prewarm_loader_cache_for_source は source-directed prewarm だけを行う。dependency aggregate public surface hash は通常の bundled-stdlib compile path で ResourceSummaryCacheNamespaceKey の入力として消費するが、Web playground の compile 前 prewarm hot path では計算しない。
• CompilerSession.loader_cache_stats_json() は dependency_aggregate_public_surface_hash_hits / misses / stores / bypasses を返す。

追加 regression:

• re-exported stdlib dependency の public body-only edit では root dependency aggregate hash が変わらず、aggregate cache hit が増える。
• re-exported stdlib dependency の public signature edit では root dependency aggregate hash が変わる。
• root source からの non-stdlib relative import は bundled stdlib aggregate cache で provider read されず、bypass として観測される。
• Node runner の session stats stub は dependency aggregate counter を timing JSON へ通す。

追加測定:

2026-05-28 の修正で、dependency aggregate query には同一 traversal 内の memo を追加した。diamond dependency graph で同じ configured stdlib module を何度も展開しないためである。ただし、RPN のような stdlib-heavy source では、この query を CompilerSession.prewarm_loader_cache_for_source から同期実行すると private implementation import closure を広く歩き、compile phase が 120 秒 timeout になることを確認した。

したがって、この checkpoint の成果は「将来の semantic cache key」として保持し、Web playground の compile 前 prewarm からは外した。aggregate first の compile time を直接下げる効果はまだない。次段階の typed public surface / Resource IR summary cache が実際にこの key を消費する段階で、public surface 境界と invalidation 範囲を再確認して接続する。

Web playground release / compiled-output cache checkpoint

2026-05-28 の checkpoint では、Web playground で compile が終了しない体感問題を先に緩和するため、build artifact と同一 session 再compileの境界を修正した。

追加した境界:

• trunk build の通常実行が Rust/WASM release artifact を作るように、Trunk.toml の [build].release = true を固定した。HTML の Rust asset も data-cargo-profile="release" を持つ。
• NEPL source profile の既定値は BuildProfile::Debug に固定した。明示的な --profile release / compile_source_with_*_profile(..., "release") だけが #if[profile=release] を有効化する。
• CompilerSession.compile_outputs_with_vfs と CompilerSession.compile_source_with_vfs_and_profile は、entry path、source、compile VFS、NEPL source profile、WAT comment mode を key にして CompiledWasm を保持する。
• cache value は wasm bytes と NEPL WAT debug comment だけであり、SourceMap、typed HIR、TypeId、Resource IR summary、diagnostic span は保持しない。
• VFS key は merge_vfs_sources と同じ正規化規則で作る。path が空の entry は除外し、非文字列 content は compile 側と同じく空文字列として扱う。
• cache limit は 8 entries に抑え、Web session が無制限に wasm bytes を保持しないようにする。
• clear_loader_cache() は loader cache と同時に compiled-output cache と hit/store counter を消す。
• loader_cache_stats_json() は compiled_output_cache_hits / compiled_output_cache_stores を返す。

追加測定:

この checkpoint は「同じ入力の再compile」を 10ms 未満にするが、初回 compile はまだ 9 秒級である。RPN では resource_initialized_raw_init_summaries と resource_initialized_function_checks が支配的であり、i32 scalar query cache 後も full Resource IR pipeline が残る。したがって次段階は、dependency aggregate public surface hash と typed public signature hash を使う Resource summary namespace の下で、変更されていない stdlib / user function の summary value を再利用する。

現在の compiled-output cache key は stale hit を避けるため、entry source と compile VFS 全体を含める。これは安全だが、未使用の editable .nepl file が変わっただけでも false miss になる。依存 closure に基づく output cache key は、typed public surface / import graph cache と同じ invalidation 証明が必要なので、この checkpoint では実装しない。

2026-05-28 の semantic source key checkpoint では、compiled-output cache key の source 部分を raw text から nepl-core::source_cache_key::compiled_source_cache_key_part へ差し替えた。この関数は lexer token stream を使う pure function であり、ordinary comment、doc comment、position-only span change は compiled output の key に入れない。一方で Indent / Dedent / Newline、directive、raw wasm / llvm text、mlstr line、literal / identifier payload は保持する。lexer diagnostic がある source では raw text key へ戻し、以前の successful compile が新しい lexer error を隠さないようにする。

doc comment を無視するのは compiled output cache だけの契約である。documentation extraction、doccomment test、nm document 生成の cache key としてこの key を流用してはならない。これはコメント増加を性能上の不利益にしないための境界であり、コメントの意味を使う機能では別の documentation-oriented key を使う。

追加測定:

この checkpoint で、comment-only / doccomment-only の微小変更は 10ms 未満になった。code edit はまだ full compile になり、raw initialization summary と function check が支配的であるため、次段階の Resource summary value reuse は引き続き必要である。

Resource IR scalar query cache checkpoint

2026-05-28 の Resource IR 側 checkpoint では、i32 scalar condition / alias / offset query を I32ConditionQueryContext に集約し、summary 内で同じ純粋 query を繰り返さないようにした。

追加した境界:

• direct i32 value、bounded offset value、scalar alias、offset source / target / reachable の query を context-aware helper へ分けた。
• return fact collection は同じ context を共有し、条件判定と return fact 変換で同一の alias / offset graph を再探索しない。
• raw initialization summary は、signature relevance、raw alias summary、direct raw op、関連 callee の dependency closure で対象を絞る。ただし reference parameter から seed される raw initialization 前提を落とさないよう、signature relevance を先に残す。

追加測定:

subagent review 後に、Branch / Match の sibling variant return facts、collection slot operation の raw initialization relevance、offset/constant derived equality を戻した。これにより correctness-first の path preservation が増え、i32 scalar summary は最小値の 571ms から 2012ms へ戻ったが、false negative を避けるための必要な修正である。total static check はまだ 9 秒台であり、raw init / function check の path-sensitive exploration が次の主要ボトルネックである。

2026-05-28 の追加 checkpoint では、Resource IR 内の純粋 query と局所証明をさらに狭めた。CollectionSlotTransformRange を含まない関数では local transform-range certificate の候補を構築しない。これは同じ関数内の transform-range op だけが消費する局所証明なので、消費先がない関数では静的検査の結果を変えない。また、i32 scalar return leaf relation 収集では、leaf pair ごとに I32ConditionQueryContext を作り直さず、relation 収集全体で共有する。alias / offset 到達性は同じ raw alias graph に対する純粋 query であり、context 共有により同じ探索を繰り返さない。

追加測定:

I32ConditionQueryContext 全体を BTreeMap memo に置き換える案と、loop initialized range の body guard を先行する案は実測で悪化したため採用しない。今回の checkpoint で i32 scalar summary は軽くなったが、初回 compile はまだ 0.5 秒未満から遠い。次段階は typed public signature table を semantic invalidation 境界にし、Resource IR summary を function hash と dependency typed public signature hash で再利用する。

2026-05-28 の追加 checkpoint では、Resource IR initialized check の path-sensitive replay をさらに限定した。Branch / Match / call return 後の path_alternatives は診断精度を保つための精密化だが、operation ごとに全 path へ同じ処理を replay すると scalar-heavy 関数で探索が膨らむ。そこで、merged state だけで処理してもよい operation を「入力 place を読まず、診断を生成せず、fresh temporary にだけ確定 i32 scalar fact を置く式」に限定して追加した。

許可した式:

• LiteralI32
• LayoutSizeOf

許可条件:

• output.root が Temporary である。
• output.projections が空である。

local や projection 付き output は、path ごとに alias / scalar fact が異なり得るため対象外にした。一般の Literal、DeclareLocal、FunctionValue も、str storage layout や function alias precision、fresh local 前提への依存があるため今回の slice には含めない。

追加測定:

この変更は Resource IR summary cache ではなく、同一 function check 内の path replay 削減である。初回 compile の 0.5 秒未満にはまだ届かないが、resource_initialized_function_checks が 3470ms から 3317ms に下がったため、path-sensitive exploration が実際に残り hot path であることを確認した。次段階は、subagent review で安全境界を確認した typed public signature table を arena 非依存の semantic cache key として構築し、typed HIR / TypeId / Resource IR を直接保持せずに stdlib summary 再利用へ接続する。

2026-05-28 の typed public signature checkpoint では、typecheck 成功時に TypedPublicSignatureTable を生成するようにした。これは後続 cache をまだ再利用しない観測用 artifact であり、TypeId、Span、SourceMap、typed HIR、Resource IR を保持しない。table value は stable text entry と deterministic hash だけで構成する。

table に含める内容:

• public callable の名前、関数型 signature、noshadow。
• public struct の type parameter、field type、constructor policy。
• public enum の type parameter、variant payload type。
• public trait の type parameter、capability、method signature。
• impl header の trait application と target type。

table には関数本体を含めない。これにより body-only edit は semantic cache key を変えず、public callable type edit は key を変える。現在は TypeCheckResult.public_signatures として露出し、regression では body-only edit で stable_hash が不変、public callable return type edit で変化することを固定している。

この checkpoint は Resource IR summary reuse にはまだ接続しない。次段階では、loader の dependency aggregate public surface hash と typed public signature hash を組み合わせる namespace key を compiler pipeline へ接続し、stdlib module の typed check / Resource IR summary cache の invalidation key として使う。

2026-05-28 の追加 staging では、TypedPublicSignatureTable を TypeCheckResult から PreparedProgram まで通すようにした。これは cache value の再利用ではなく、Resource IR summary cache key を構築するための入力を compiler pipeline の後段へ運ぶだけである。PreparedProgram に保持される table も stable text / hash のみで、typed HIR や TypeId を session cache value として保存するものではない。

2026-05-28 の Resource summary namespace key checkpoint では、ResourceSummaryCacheNamespaceKey を PreparedProgram に追加した。この key は neplg2-resource-summary-cache-namespace-v1、target、profile、typed public signature hash、任意の dependency public surface hash を決定的に hash 化する。最初の checkpoint では compile path へ dependency aggregate をまだ渡さず None とし、Web / Node prewarm hot path でも dependency aggregate を同期計算しない境界だけを固定した。

この key は Resource IR summary cache の「名前空間」を分けるための staging artifact であり、Resource IR summary value の hit / store はまだ実装しない。TypeId、Span、SourceMap、typed HIR、Resource IR body、diagnostic span、codegen fragment は key に保存しない。次段階では、この namespace key に function body hash、source capability policy hash、generic type-argument hash を組み合わせ、到達 function ごとの summary reuse へ進める。

regression では、public function の body-only edit で namespace key が変わらず、public callable return type edit で変わることを固定した。さらに dependency public surface hash option が変われば同じ typed public signature hash でも別 namespace になることを固定し、loader から dependency aggregate を接続する次段階の入力境界を明確にした。

native release RPN stage-only 測定は、resource_typecheck=121ms、resource_initialized_i32_scalar_summaries=1270ms、resource_initialized_raw_init_summaries=2187ms、resource_initialized_function_checks=3063ms、resource_static_check=7353ms だった。この checkpoint は namespace key の staging であり、summary value reuse による初回 compile 0.5 秒未満はまだ達成していない。

2026-05-28 の dependency namespace connection checkpoint では、session-backed bundled stdlib compile path だけが loader の root_dependency_aggregate_public_surface_hash_for_source_with_cache を呼び、その結果を ResourceSummaryCacheNamespaceKey へ渡すようにした。汎用 CompileOptions は増やさず、明示 helper compile_module_with_source_map_artifact_options_and_dependency_public_surface_hash で Web session path からだけ入力する。

この接続は prewarm では実行しない。nodesrc/test_run_test_compiler_session.js では、prewarm_loader_cache_for_source の前後で dependency aggregate counter が増えず、compile call の前後でだけ増えることを固定した。compiled-output cache hit を返す経路でも、dependency aggregate counter が増えないことを stub で固定した。/stdlib overlay や forced stdlib VFS では loader cache が bypass されるため、namespace key には dependency public surface hash を渡さない。

Web release RPN doctest 測定では、初回 compile_ms=9095、prewarm_ms=210、wasm_call_ms=8884、2 回目 compile_ms=1、wasm_call_ms=0 だった。prewarm cache stats では dependency aggregate hit/miss/store が増えず、compile 本体で dependency_aggregate_public_surface_hash_hits が 0 -> 4、misses が 4 -> 122、stores が 4 -> 122 になった。これは Resource summary value reuse ではないため、初回 compile 0.5 秒未満はまだ未達である。

2026-05-28 の variant-param summary checkpoint では、raw initialization summary 内の variant-param collector を呼ぶ前に、return value を直接 output とする top-level Branch が block に存在するかを確認するようにした。collector は現時点でその Branch だけを facts 抽出対象にしているため、該当しない block で ResourceCheckEngine prefix replay を起動しても新しい variant-param facts は得られない。このため、観測できる証明境界を広げずに探索空間だけを削減する。

native release RPN stage-only 測定では、直前 checkpoint の resource_initialized_raw_init_summaries=2421ms、resource_initialized_function_checks=3224ms、resource_static_check=7776ms に対し、今回 checkpoint は resource_initialized_raw_init_summaries=2281ms、resource_initialized_function_checks=3090ms、resource_static_check=7443ms だった。初回 compile 0.5 秒未満にはまだ届かないため、次は typed public signature hash と dependency public surface hash を使う Resource IR summary cache に進む。

2026-05-28 の duplicate path dedup / string byte predicate checkpoint では、Resource IR initialized check の ResourcePathAlternatives::from_states で budget 超過時に完全重複候補だけを先に落とすようにした。subagent review では、全候補が同一でも既存 merge が collection slot range の弱化や raw alias 正規化を行うことを確認したため、merge lattice を clone で省略する fast path は採用しない。dedup は exact duplicate だけを落とし、残った候補は従来どおり conservative merge に通す。

同 checkpoint では、string/byte_index に private string_byte_or_invalid と低水準 string_byte_is_ascii_space を置き、slice から使う public predicate は string/search/compare の str_byte_is_ascii_space_at にした。sentinel 値と raw read 境界は byte_index module 内部に閉じ、search predicate はその証明済み predicate を高水準 module へ渡す facade になる。str_trim は loop 本体で Option branch を直接展開せず、この checked search predicate だけを使う。これにより raw read の範囲証明は byte_index module に閉じつつ、slice module が検索 predicate を使う責務境界を維持する。

native release RPN stage-only 測定では、safe revision 後に resource_initialized_i32_scalar_summaries=1256ms、resource_initialized_raw_init_summaries=2549ms、resource_initialized_function_checks=3139ms、resource_static_check=7870ms だった。per-function timing run では str_trim の function check が before の 1018ms から 699ms へ下がった。一方で全体はまだ 7 秒台で、raw init summary と function check が支配的である。

この checkpoint も Resource summary value reuse ではない。subagent review では、既存 summary struct が TypeId や Span を含むため、そのまま長寿命 cache value にしないことを確認した。次段階では namespace key に function body hash、generic type-argument hash、source capability policy hash、summary kind/version を追加し、arena 非依存の stable mirror value へ落としてから stdlib summary reuse に接続する。

2026-05-28 の追加 review では、RPN の call graph pruning が保守的に全関数へ倒れているのではなく、monomorphized function 290 件のうち 287 件が実際に entry から到達していることを確認した。したがって、次の大きな削減余地は import pruning ではなく、到達済み関数の Resource summary value を namespace 内で再利用することである。

Resource summary value cache の owner は LoaderSessionCache ではなく CompilerSession の別 field とする。LoaderSessionCache は source / AST / loader surface の未型付け artifact を持つ層であり、Resource IR summary は typed public signature、dependency public surface、target/profile、source capability policy、generic type argument、summary kind/version に依存する。loader cache に入れると、未型付け artifact と Resource IR proof artifact の invalidation 境界が混ざる。

初期 cache value は既存 summary struct 全体ではなく、arena 非依存の stable mirror として定義する。最初の対象は CollectionSlotLifecycleSummaryOp::DropTraversal と ForallInitializedRange に限定する。これらは drop traversal と initialized range proof の小さい事実へ落としやすく、RawCellInitializationFunctionSummary 全体のように session-local PlaceProjection / TypeId / raw alias state を広く含まない。

初期実装で store する条件:

• namespace key があり、summary kind/version が一致する。namespace key は target/profile、typed public signature hash、dependency public surface hash の外枠であり、単独で summary value cache の key にはしない。
• per-summary-value key は structured key として保持し、namespace key、canonical function identity、function body hash、function-local type parameter boundary、generic type-argument hash、source capability policy hash、summary kind/version を分けて持つ。短い hash だけを保存せず、debug / regression で stale hit の原因を追える形にする。
• value は stable summary place / projection / type key、known i32、expected type、element stride、StateOnly / LoadedValueDrop proof のような arena 非依存データだけで表現できる。
• nominal type は module/path/definition identity まで含む qualified stable type key にできる場合だけ store する。qualified identity が得られない場合は、型名文字列が一致しても別定義へ stale hit し得るため bypass に倒す。
• label 付き generic variable は label だけでは store key として不十分である。function-local type parameter ordinal / boundary と generic type-argument hash を per-value key に含め、hit 後に現在 compile の type parameter へ再投影できる場合だけ store する。
• cache hit 後も現在 compile の Resource IR place / type context へ再投影できる。

初期実装で store しない条件:

• CertifiedSlots、TransformRange、Event、Relocate、return path facts、Merge / Loop にまたがる proof。
• RawCellInitializationFunctionSummary 全体、raw alias graph、session-local TypeId、Span、SourceMap、typed HIR、diagnostic span を含む value。
• expected_ty や LoadedValueDrop proof 内の型が stable type key へ正規化されておらず、現在 compile の TypeCtx へ再投影できない value。
• stale な callee-local place を保持したまま現在 compile の Resource IR context へ再投影しなければならない projection。SummaryOffset::Unknown / ResourceOffset::Unknown は exact offset を要求しない conservative proof value として再投影できるため、この条件には含めない。
• nominal type identity が unqualified name だけで、module/path/definition identity と結びついていない value。
• label 付き generic variable が function-local type parameter boundary と type-argument hash に結びついていない value。
• source capability policy hash、generic type-argument hash、target/profile、dependency public surface hash のいずれかが未確定の compile。
• /stdlib overlay、forced stdlib VFS、local stdlib override のように bundled stdlib proof と source が一致しない compile。

CompilerSession.loader_cache_stats_json() とは別に、Resource summary value cache は resource_summary_value_hits / misses / stores / bypasses と、summary kind 別の hit/store/bypass counter を持つ。ここでの hit は「同じ stable value が既に存在し、現在 compile の type/place boundary へ逆投影できる候補 hit」であり、fixed-point worklist を skip して compile work を削減したことまでは意味しない。実際に summary op を replay して仕事量を減らす段階では、resource_summary_value_replay_hits / resource_summary_value_replayed_ops / resource_summary_value_recomputed_ops を別 counter として増やす。

2026-05-28 の implementation staging では、ResourceSummaryValueCache と ResourceSummaryValueCacheStats を nepl-core::resource に追加し、CompilerSession が LoaderSessionCache とは別 field として所有する形にした。loader_cache_stats_json() は resource_summary_value_*、resource_summary_value_replay_*、resource_summary_value_drop_traversal_forall_* の counter を返す。store/hit MVP では逆投影可能な candidate を観測し、complete leaf entry preseed checkpoint から dependency-free な entry だけを fixed-point worklist 前に replay する。

2026-05-28 の bypass instrumentation checkpoint では、CompilerSession の compiled-output cache miss から実際に走る compile path だけへ ResourceSummaryValueCache を渡すようにした。check_resource_initialized_moves の既存 API は残し、session-backed compile だけが check_resource_initialized_moves_with_summary_cache を使う。これにより CLI や stateless Web API の挙動を変えず、session cache の観測を Web / Node の timing JSON に限定して追加できる。

この checkpoint で記録するのは、worklist 固定点が収束した後の最終 CollectionSlotLifecycleFunctionSummary に top-level op として残る CollectionSlotLifecycleSummaryOp::DropTraversal かつ ForallInitializedRange の候補だけである。return path facts や Merge / Loop 内の leaf は、初期 MVP の store 対象外なのでこの counter へ含めない。これは「安全に保存できる候補が実 workload にどれだけ存在するか」を compiled-output cache とは別に測るための段階であり、TypeId / Span / SourceMap / typed HIR / Resource IR body を長寿命 value に保存しない方針を維持する。

2026-05-28 の stable mirror conversion checkpoint では、DropTraversal + ForallInitializedRange を既存 summary struct のまま cache value にせず、ResourceSummaryStableDropTraversalForallValue へ変換する足場を追加した。型は TypeId ではなく ResourceSummaryStableTypeKey へ変換し、無名 type variable や cycle のように arena slot へ依存する型は保存候補から外す。SummaryPlace / projection / symbolic offset / known i32 / StateOnly / LoadedValueDrop proof も stable mirror 型へコピーする。現 checkpoint ではまだ BTreeMap への store/hit は行わず、bypass counter も stable mirror へ変換できた top-level 候補だけを数える。

2026-05-28 の stable mirror split checkpoint では、stable mirror 変換を ResourceSummaryValueCache の sibling module ではなく、resource_summary_value_cache::stable_mirror private submodule へ分離した。これは cache owner の public/internal API を増やさず、store/hit 実装が入る前に「統計と map 所有」と「session-local value から stable value への変換」を別責務に分けるためである。当初は SummaryOffset::Unknown を exact offset へ再投影できない projection として拒否していたが、2026-05-31 の raw-init stable entry checkpoint で、Unknown は stale な local identity を持たない conservative proof value として保存・再投影できる境界へ変更した。nominal type key と generic variable key は、per-value key に qualified definition identity / function type parameter boundary / generic type-argument hash を含めるまで store 対象にしない。

2026-05-28 の structured key staging checkpoint では、resource_summary_value_cache::key private module に per-summary-value key の型だけを追加した。これは map store/hit ではなく、namespace hash、function identity、function body hash、function-local type parameter boundary hash、generic type-argument hash、source capability policy hash、summary kind/version を裸の hash blob にまとめず、field として分けたまま扱うための足場である。追加 review では、function body hash と source capability policy hash が compiler pipeline から渡るまで store/hit を入れないべきだと確認したため、この checkpoint では key 型と invalidation input regression だけを固定する。

2026-05-28 の source capability policy hash checkpoint では、SourceMap::source_capability_policy_hash_for_file(file_id) を追加した。これは source capability を広く許可する query ではなく、Resource summary value key に入れるための deterministic fingerprint である。use-site proof は byte range を持つため、canonical path と source content hash を必ず hash に含め、同じ proof range が別 source に流用されないようにする。source hash は caller に渡させず SourceMap 内の source text から計算するため、別 source の hash や sentinel 値を key に混ぜる経路を作らない。現時点では function body hash と Resource summary store/hit にはまだ接続せず、path/source hash/use-site/span/order の regression だけを固定する。

2026-05-28 の function body hash staging checkpoint では、resource_summary_value_cache::stable_type_key を stable_mirror から独立させ、summary value と function body hash が同じ TypeId 安定化規則を共有できるようにした。hash writer も stable_hash に分け、per-summary-value key と body hash が同じ区切り付き FNV-1a 系 writer を使う。resource_summary_value_cache::body_hash は ResourceFunction の Span を無視し、TypeId を stable type key へ変換し、temporary / block id は body 内 ordinal に正規化する。StorageId は owner/checker state 側の割当に由来するため、数値を直接 key に入れず、body traversal で最初に現れた順の ordinal へ正規化する。raw body は本文が ResourceFunction に残らないため、raw body/source hash を key へ追加するまでは拒否する。nominal type は後続 checkpoint で source path / definition fingerprint 付き identity を導入し、identity がある場合だけ stable type key へ変換する。body hash namespace はこの型 key 境界変更に合わせて v2 とした。

同日の bypass candidate connection checkpoint では、最終 CollectionSlotLifecycleFunctionSummary の top-level DropTraversal + ForallInitializedRange を候補として数える前に、対応する ResourceFunction の body hash が作れることも確認するようにした。これにより、stable mirror value だけは作れても raw body / storage root / nominal type などで per-summary-value key を安全に作れない関数は、store/hit 実装前の観測 counter からも外れる。

type boundary hash checkpoint では、per-summary-value key の type_parameter_boundary_hash と generic_type_argument_hash を作る private staging module を追加した。type parameter boundary は summary.type_params を基準にし、unbound かつ label 付きの type variable だけを許可する。hash には arity、ordinal、label、copy/clone/drop capability を含め、同じ stable parameter key が重複した場合は再投影先が曖昧になるため拒否する。anonymous variable、bound variable、concrete type、identity なし nominal type は boundary として保存しない。generic type argument hash は順序付きの argument list として扱い、各 argument を ResourceSummaryStableTypeKey に変換できる場合だけ作る。source path / definition fingerprint 付き identity を持つ nominal argument は保存対象にできる。generic argument hash namespace はこの受け入れ範囲変更に合わせて v2 とした。

function identity gate checkpoint では、top-level DropTraversal + ForallInitializedRange の候補を数える前に ResourceSummaryFunctionIdentity::from_resource_function も通すようにした。canonical symbol と origin name が空の function は、compile session 間で対応する callable 境界を特定できないため、body hash や type boundary hash が作れても store 候補として観測しない。

candidate key builder checkpoint では、resource_summary_value_cache::candidate_key private staging module を追加し、per-value key を作るための全入力を一箇所で合成する境界を固定した。builder は namespace hash、source capability policy hash、function identity、function body hash、function-local type parameter boundary hash、generic type argument key、stable mirror value がすべて作れる場合だけ ResourceSummaryValueCacheKey を返す。namespace hash と source capability policy hash は型名付き wrapper で受け、0 や empty を未計算 sentinel として扱わない。generic type argument は NonGeneric / TemplateBoundaryOnly / KnownInstantiation の明示 enum にし、現行 summary が concrete call-site args を持たないことと、将来の instantiated cache key が実引数を取り忘れないことを両立させる。

source policy context checkpoint では、ResourceSummaryValueCacheContext を追加し、compiler pipeline で作った ResourceSummaryCacheNamespaceKey::stable_hash と SourceMap::source_capability_policy_hash_for_file の結果だけを Resource initialized check へ渡すようにした。Resource checker には raw SourceMap を渡さず、FileId -> source policy hash の小さな context だけを渡す。context は ResourceFunction / block / op / terminator / nested control-flow op / match arm の distinct file id を集め、対応する source policy hash がすべて存在する場合だけ per-function source policy hash を作る。Span::dummy() は source file 0 とみなさず無視し、実 source policy が取れない候補は no-store / bypass に倒す。現 checkpoint でも map store/hit はまだ行わず、keyable candidate だけを bypass counter として観測する。

2026-05-28 の store/hit MVP checkpoint では、ResourceSummaryValueCache が DropTraversal + ForallInitializedRange の stable mirror value を CompilerSession 内の map に保存するようにした。これは Zenn 方針の「試作段階でも根本の構造を直す」範囲の変更であり、timeout 延長、静的検査の削除、Resource proof coverage の削減ではない。cache value は純粋な Resource summary query の結果だけであり、LoaderSessionCache とは別 field として保持する。

reverse projection checkpoint では、hit 候補にする前に ResourceSummaryStableDropTraversalForallValue を現在 compile の CollectionSlotLifecycleSummaryOp::DropTraversal へ戻せることを確認する。ResourceSummaryTypeReprojection は builtin 型、function-local type parameter boundary、現在の function signature から stable type key と現在の TypeId の対応を作り、曖昧な generic boundary、範囲外 parameter index、projection layout mismatch、stride mismatch、identity 不明または現在 compile で一意に対応しない nominal type は miss/bypass に倒す。これは candidate hit の安全境界であり、fixed-point worklist の seed / skip はまだ行わない。

complete leaf entry checkpoint では、cache value を個別 leaf の dedup 可能な Vec ではなく、順序と重複を保持する ResourceSummaryStableDropTraversalForallLeafEntry へ変更した。fixed-point skip で使える entry は function summary 全体の surface を復元できる必要があるため、ops がすべて top-level DropTraversal + ForallInitializedRange で、return_transfers / return_slots / return_ranges / return_paths が空の場合だけ store/hit 候補にする。依存関数を持つ caller、IndirectCall を含む関数、CertifiedSlots / Merge / Loop / TransformRange などを含む summary は、dependency fingerprint と追加 stable mirror を設計するまで bypass に倒す。

complete leaf entry preseed checkpoint では、dependency-free かつ IndirectCall を持たない関数だけを対象に、保存済み entry を現在 compile の CollectionSlotLifecycleSummaryOp 列へ逆投影してから summaries に先に入れ、SummaryWorklist の初期 pending から外す。これにより replay できた関数は通常の fixed-point recompute を行わず、resource_summary_value_replay_hits と resource_summary_value_replayed_ops が op 数ぶん増える。通常 recompute した complete leaf entry は resource_summary_value_recomputed_ops に数え、candidate hit だけを示す resource_summary_value_hits と実 compile work skip を示す replay counter を分離する。

raw-init param facts checkpoint では、RawCellInitializationParamCell と simple projection の RawCellReleaseParamRequirement を complete leaf entry として stable mirror 化する足場を追加した。store 対象は IndirectCall なし、return / byte-range / variant facts なしの summary に限定する。依存関数を持つ caller は、dependency closure hash を raw-init key に含められる場合だけ保存する。raw alias graph、partial summary、diagnostic span、TypeId、Span、SourceMap は保存しない。

同 checkpoint の追加 review では、raw-init preseed が実際に fixed-point worklist を skip する経路になったため、Rust 側 regression を追加した。保存済み entry が同じ summary surface として再投影されること、function body hash、source policy hash、signature type boundary のいずれかが変わると preseed miss になり通常 worklist に戻ることを固定する。raw body は source policy hash があっても本文が ResourceFunction に残らないため、body hash では引き続き拒否する。

qualified nominal type identity checkpoint では、TypeCtx に NominalStableTypeIdentity を追加した。identity は TypeId / Span ではなく、SourceMap から得た source path、定義 kind、定義名、arity、field / variant / type parameter から作る definition fingerprint を持つ。typecheck::driver は StructDef / EnumDef の登録時にこの identity を TypeCtx へ保存し、checkpoint rollback では identity map も戻す。

ResourceSummaryStableTypeKey は、Struct / Enum / resolved Named がこの identity を持つ場合だけ nominal key を作る。未解決 Named placeholder、identity のない nominal definition、cycle を含む definition surface は従来どおり bypass に倒す。backend scalar の u32 / i64 / u64 / f64 は既存 TypeKind::Named を使う compiler-owned scalar なので、nominal identity とは別の builtin scalar key として扱う。

この変更で、generic type argument hash と function body hash は identity 付き nominal type を保存候補にできる。subagent review で指摘された name-only stale hit を避けるため、単なる Struct.name / Enum.name は cache key に使わない。source path と definition fingerprint が得られない場合は、性能より安全を優先して no-store / miss に戻る。

qualified nominal type identity checkpoint 前の RPN 実測では、raw-init param facts は raw_init_param_facts_bypasses=225、raw_init_param_facts_stores=0 だった。subagent review では、store 対象が狭いことに加えて ResourceSummaryStableTypeKey が Named / Struct / Enum を拒否しているため、nominal 型を多く含む stdlib summary が candidate 化できない可能性が高いと確認した。このため、qualified nominal type identity を別 issue ISS-20260528T110220373Z-RESOURCE-SUMMARY-CACHE-NEEDS-QUALIFI-08D1AA04 に分離し、上記 checkpoint で TypeCtx identity と stable type key 受け入れ境界を実装した。

dependency closure raw-init checkpoint では、raw-init summary が user call の callee summary を取り込むことを前提に、direct dependency だけではなく reachable dependency closure の function identity、body hash、source capability policy hash、function-local type boundary hash を raw-init key へ含めるようにした。これにより、依存先 implementation edit 後に caller の cached raw-init facts が stale hit する経路を避けながら、dependency-bearing complete leaf summary も保存対象にできる。

同 checkpoint では、raw-init cache の bypass counter を reason 別に分けた。RPN same-session code-edit の release Web 測定では、初回 raw_init_param_facts_stores=2、2 回目 raw_init_param_facts_hits=2 / resource_summary_value_replay_hits=2 まで到達した。これは ISS-20260528T110220373Z-RESOURCE-SUMMARY-CACHE-NEEDS-QUALIFI-08D1AA04 の完了条件である store / hit 非 0 を満たす。

一方で、同測定では raw_init_param_facts_unstable_key_bypasses=176、raw_init_param_facts_incomplete_leaf_bypasses=37、raw_init_param_facts_reprojection_bypasses=10 が残った。これは nominal type identity の不足ではなく、dependency closure 内の key 化不能関数、byte-range / variant / return facts を含む complete raw-init mirror 不足、generic nominal instantiation の再投影不足であるため、それぞれ別 issue に分離した。

raw body dependency key checkpoint では、このうち raw_init_param_facts_unstable_key_bypasses=176 を 0 まで減らした。RPN の dependency closure には core/mem/raw 系の raw body callee が含まれるが、raw body 本文は ResourceFunction に直接残らない。そこで resource_function_body_hash は ResourceTerminator::RawBody の backend kind を hash し、source body text と raw memory capability use-site は source_capability_policy_hash_for_function 経由で key に含める契約へ整理した。source capability policy hash は source path、source content hash、use-site set を含むため、raw body text や boundary の変更では dependency closure hash が変わる。

同 checkpoint では、dependency closure hash failure の counter を dependency graph / identity / body hash / source policy / type boundary へ分割した。RPN same-session code-edit の release Web 測定では、初回 raw_init_param_facts_stores=2、2 回目 raw_init_param_facts_hits=2 / resource_summary_value_replay_hits=2 を維持しながら、raw_init_param_facts_unstable_key_bypasses=0 になった。残件は raw_init_param_facts_unstable_entry_bypasses=119 と raw_init_param_facts_reprojection_bypasses=67 であり、前者は ISS-20260528T125932150Z-RESOURCE-SUMMARY-RAW-INIT-STABLE-ENT-AE09D7D6、後者は ISS-20260528T123956303Z-RESOURCE-SUMMARY-TYPE-REPROJECTION-N-78929A8E で扱う。

raw-init stable entry checkpoint では、RawCellReleaseParamRequirement の suffix に含まれる StorageOffset を stable mirror 化した。parameter-relative な ResourceOffset::{Symbolic, ScaledSymbolic, Offset, ScaledOffset} は stable place として保存し、callee-local operand で現在 compile へ再投影できないものは stale local place を保存せず Unknown へ正規化する。既存の raw address overlap 判定では symbolic / offset / unknown はいずれも may-overlap として扱うため、この正規化は検査削除ではなく、保存できない identity を conservative proof value へ落とす変更である。

同 checkpoint の release Web RPN same-session code edit 測定では、初回 compile_ms=9794、2 回目 compile_ms=8668 だった。raw-init param facts は初回 stores=23、2 回目 hits=23 / resource_summary_value_replay_hits=23 となり、raw_init_param_facts_unstable_entry_bypasses は 119 -> 0 になった。残件は raw_init_param_facts_reprojection_bypasses=165 と raw_init_param_facts_incomplete_leaf_bypasses=37 であり、次は instantiated generic nominal mapping と byte-range / variant / return facts の complete mirror を進める。

同 review で、ResourceFunction.name には重複定義用の source span mangle が入る場合があり、cache key の false miss を増やすと確認した。ResourceSummaryFunctionIdentity は __def<file>_<start>_<end> の定義 span component を key から外し、function body hash と source capability policy hash で実体差分を追う。これは stale hit を増やすためではなく、SourceMap / Span に依存しない function identity へ近づけるための正規化である。

type reprojection checkpoint では、ResourceSummaryTypeReprojection が generic nominal definition tree を現在 compile の instantiated boundary へ戻す規則を拡張した。function-local type parameter boundary は strict に登録し、同じ stable generic key が別 TypeId へ割れる場合は引き続き拒否する。一方で、nominal definition tree の子型と function signature 内の duplicate structural / nominal type は、stable key が同じなら同じ論理型として扱う。これにより definition-side .T が instantiated .T を shadow する false miss と、同じ stable nominal identity を持つ signature duplicate の false miss を避ける。

同 checkpoint の release Web RPN same-session code edit 測定では、初回 compile_ms=9870、2 回目 compile_ms=8512 だった。raw-init param facts は初回 stores=163、2 回目 hits=142 / resource_summary_value_replay_hits=142 まで伸び、raw_init_param_facts_reprojection_context_bypasses は 0 になった。残件は raw_init_param_facts_reprojection_value_bypasses=25 と raw_init_param_facts_incomplete_leaf_bypasses=37 である。前者は value replay の projection / type canonicalization issue、後者は byte-range / variant / return facts の complete mirror issue として分離する。

2026-05-31 の raw-init value reprojection checkpoint では、value replay 失敗を context 構築失敗からさらに分け、param cell projection / param cell type / release requirement projection / release requirement type の counter として観測できるようにした。raw address 上の Deref は通常の reference dereference ではなく raw cell view なので、raw-init param cell に限って stable entry が持つ cell 型を再投影先として使う。field / tuple / enum payload の layout 検証は従来どおり維持し、corrupt offset は projection mismatch として拒否する。

同 checkpoint の release Web RPN same-session code edit 測定では、初回 compile_ms=9358、2 回目 compile_ms=1 だった。raw-init param facts は初回 stores=165、raw_init_param_facts_reprojection_value_bypasses=23 になり、内訳は param_cell_projection=0、param_cell_stable_type=23、release 系 0 だった。non-signature nominal value type は現在の TypeCtx 内 stable key から再投影できるようにしたが、boundary 外 labelled open generic は同名衝突を stable key だけで解決できないため fail-closed のまま残す。

owner boundary checkpoint では、owner_summary_type_params が signature/result に加えて raw memory load/store/fill の value type、user call type arguments、indirect call signature、collection slot lifecycle/drop/transform の value type を収集するようにした。raw-init param facts の value type は callee summary や collection slot proof の内側にだけ現れることがあるため、summary replay の意味に関わる型だけを owner summary boundary へ昇格し、cache key の type boundary hash と ResourceSummaryTypeReprojection の strict duplicate check に通す。単なる local type や TypeCtx 全体検索は authority にしない。

同 checkpoint の release Web RPN same-session 測定では、初回 compile_ms=9615、stores=165、bypasses=60、incomplete_leaf=37、reprojection_value=23、param_cell_stable_type=23 であり、数値改善はまだ出ていない。この結果から、残る 23 件は単純な boundary 収集漏れではなく、同名 labelled generic の provenance / ordinal を stable entry と key に持たせる必要がある。var(T:...) だけで現在 TypeCtx から再対応付けする緩和は stale hit の危険があるため採用しない。

2026-05-31 の projection-derived raw-init replay checkpoint では、param_cell_stable_type=23 の根本原因をさらに分解した。raw-init param cell の型が base parameter と suffix から通常の layout 規則で決まる場合、その型は現在 compile の signature と projection から再計算する。stable entry に保存された cell 型は、raw address Deref のように typed projection だけでは値型を得られない場合の proof boundary に限定する。この境界により、同名 labelled generic を TypeCtx 全体検索で拾う緩和を入れず、projection-derived value type の false miss だけを取り除く。

同 checkpoint では、direct user call の type_args も raw-init summary replay に渡すようにした。param / return / release / variant summary 内の型は、callee summary の type_params と call site の type_args から instantiation してから現在 compile の place suffix と照合する。これにより、summary replay に必要な generic substitution を value cache の stable mirror 境界で明示し、後段 Resource IR proof へ未置換の callee-local open generic を漏らさない。

release Web RPN same-session code edit 測定 tmp/rpn_projection_authoritative_raw_init_type_20260531.json では、初回 stores=188、bypasses=37、incomplete_leaf=37、reprojection_value=0、param_cell_stable_type=0、param_cell_result_type=0 だった。2 回目は raw_init_param_facts_hits=144、resource_summary_value_replay_hits=167、replayed_ops=167、recomputed_ops=21 で、value reprojection 残件は解消した。残る 37 件は byte-range / variant / return facts を含む complete raw-init mirror 不足であり、ISS-20260528T123956163Z-RESOURCE-SUMMARY-RAW-INIT-CACHE-NEED-245DC1A5 へ継続する。

2026-05-31 の complete raw-init leaf mirror checkpoint では、RawCellInitializationFunctionSummary の return_cells / return_byte_ranges / param_cells / param_byte_ranges / param_release_requirements / variant_param_cells / variant_param_byte_ranges / variant_required_param_cells / variant_conditions を同じ stable entry に保存するようにした。これにより partial raw-init summary を保存して proof を欠落させる経路を避けつつ、byte-range / variant / return facts を replay 対象へ含める。

entry kind と内部 API 名は complete leaf へ改めた。一方で、loader_cache_stats_json の raw_init_param_facts_* counter 名は既存測定 JSON との互換のため維持している。現時点では historical metric name であり、実際の cache value は complete raw-init leaf entry である。

RPN same-session code edit 測定 tmp/rpn_complete_raw_init_mirror_code_edit_20260531.json では、comment-only edit は compiled-output cache により compile_ms=1 になった。raw-init replay 評価用に main へ local i32 binding を追加した code edit では compiled-output cache が miss し、base compile_ms=8677、edit compile_ms=6586 だった。edit delta は raw_init_param_facts_hits=205、resource_summary_value_replayed_ops=238、resource_summary_value_recomputed_ops=36、raw_init_param_facts_incomplete_leaf_bypasses=0 である。incomplete_leaf の根本原因は解消したが、edit delta で raw_init_param_facts_reprojection_value_bypasses=15、param_cell_result_type=15 が残る。これは complete mirror 不足ではなく return / byte-range / variant surface の型 canonicalization 残件であり、ISS-20260531T132755602Z-RAW-INIT-COMPLETE-LEAF-REPROJECTION-TYPE-CANON-4E8A1A2C へ分離する。

return / byte-range type canonicalization checkpoint では、place projection 側も param cell と同じ replay authority 規則に揃えた。通常の layout projection から型が決まる場合は、保存済み stable type key ではなく現在 compile の function result/signature と suffix から型を再計算する。保存済み stable type key は final raw Deref のように typed projection だけでは値型を得られない場合にだけ proof boundary として照合する。

RPN same-session code edit 測定 tmp/rpn_return_type_canonicalization_code_edit_20260531.json では、base compile_ms=8861、edit compile_ms=6703 だった。edit delta は raw_init_param_facts_hits=205、resource_summary_value_replayed_ops=253、resource_summary_value_recomputed_ops=21、raw_init_param_facts_bypasses=0、raw_init_param_facts_reprojection_value_bypasses=0、param_cell_result_type=0 である。raw-init complete leaf replay の false miss は解消したが、compile time はまだ秒単位であり、次は replay 後にも残る recomputed_ops=21 と Resource IR summary 外の固定費を分解する必要がある。

map key は namespace hash、function identity、function body hash、type parameter boundary hash、generic type argument hash、source capability policy hash、summary kind/version を含む。map value は summary kind ごとの stable entry だけであり、ResourceFunction、Resource IR body、既存 summary struct 全体、TypeId、Span、SourceMap、typed HIR、diagnostic span、raw alias graph、RawCellInitializationFunctionSummary 全体は保存しない。同じ関数内に複数の top-level summary fact が現れた場合は、entry 内で順序と重複を保持する。

store/hit 記録は summary build pass の全 candidate を集めてから行う。同じ compile pass 内で先に store した value を即 hit と数えると、微小変更時の再利用可能性を過大評価するため、hit 判定は記録開始時点で map に存在した value に限定する。clear_loader_cache() は loader cache、compiled-output cache、prewarm surface と同じ寿命境界で Resource summary value cache の map と stats も消す。

2026-05-28 の i32 scalar summary local reuse checkpoint では、Resource summary cache の大きい設計へ進む前の局所削減として、compute_i32_scalar_return_summaries の relevance 判定で I32LeafProjectionCache を共有し、複数 block 関数だけ initial_i32_scalar_path_state を関数内で 1 回構築して block ごとに clone するようにした。1 block 関数では clone 分が増えるため従来どおりその場で構築する。さらに return fact merge は path が 1 本の場合、全 path に対する包含確認を省き、同一 path 内の重複除去だけを行う。これは sibling enum variant をまたぐ merge 条件を緩める変更ではなく、複数 path が存在しない場合の同値な fast path である。

同 checkpoint の native release RPN stage-only 測定は、resource_initialized_i32_scalar_summaries=1568ms、resource_initialized_raw_init_summaries=2705ms、resource_initialized_function_checks=1994ms、resource_static_check=7299ms だった。前 checkpoint の resource_static_check=7841ms からは改善したが、初回 compile 0.5 秒未満にはまだ到達していない。resource_ir integration test は、既存 test fixture が CollectionSlotLifecycleEvent::StorageDealloc { value_ty } へ追従していないため compile error で実行できず、今回の i32 scalar summary 変更とは別の test drift として扱う。

必須 regression:

• 同じ entry source の 2 回目 compile は compiled-output cache hit として観測される。
• entry body-only edit で compiled-output cache は miss するが、unchanged stdlib の DropTraversal / ForallInitializedRange stable summary は hit する。
• public callable type edit、dependency public surface hash edit、generic type-argument edit、source capability policy edit、target/profile edit では stale hit しない。
• /stdlib overlay、forced stdlib VFS、local stdlib override では bundled stdlib Resource summary value cache を bypass する。
• cache hit value を現在 compile の Resource IR context へ再投影できない場合は miss/bypass に倒し、diagnostic span や capability proof を古い source へ流用しない。

Empty source capability policy checkpoint

2026-05-31 の raw-init residual recomputation 調査では、ResourceSummaryValueCache の value replay は fail-closed に動いている一方で、key に含まれる source capability policy が file 全体の source hash に依存していたため、capability proof を持たない通常 source の小さな編集でも dependency closure が広く miss することを確認した。

source capability proof が存在する file は、proof span が byte range であるため、canonical path、source hash、proof set を合わせて policy hash とする必要がある。この境界を弱めると、別 source の同じ byte range に raw memory / collection slot authority を誤って再利用できる。

一方で、proof set が空の file では、source capability policy が保護すべき privilege surface は存在しない。関数の意味変更は Resource IR body hash、typed signature/type boundary、dependency closure hash で検出するため、空 proof file の source text 全体を source capability policy に混ぜると、静的検査の正確性を増やさずに over-invalidation だけを増やす。

この checkpoint では、SourceCapabilities::stable_policy_hash を次の境界にした。

• proof set が空でない file は、path、source hash、proof set を hash する。
• proof set が空の file は、path と空 proof set だけを hash する。
• raw body text や exact capability use-site を持つ file は従来どおり source hash に結び、stale hit を避ける。

release WASM の RPN same-session code edit 測定 tmp/rpn_empty_source_policy_raw_init_code_edit_20260531.json では、edit compile が直前の raw alias checkpoint 7142ms から 6164ms へ改善した。edit delta は次の通りである。

• resource_raw_init_summary_recomputations=73、直前の 81 から減少。
• resource_summary_value_raw_init_param_facts_stores=48、直前の 69 から減少。
• resource_initialized_function_checks=1、直前の 13 から減少。
• resource_summary_value_recomputed_ops=29、直前の 110 から減少。
• raw-init replay bypass は 0 のままで、unsafe な stale replay は観測されていない。

ただし、これは function-local exact source capability policy の完成ではない。capability proof を持つ stdlib/compiler-owned source では、source text と exact proof を結び付ける必要が残る。次段階では、関数本文 slice、相対 use-site identity、capability kind、raw body source slice を組み合わせた function-local policy hash を設計し、同一 file の sibling function edit が無関係な raw-init dependency closure を miss させないようにする。

同日の次 checkpoint では、この function-local policy hash を ResourceSummaryValueCacheContext に接続した。context は compile-local に source path、source text、SourceCapabilities を保持し、ResourceFunction の function/block/op/terminator span から file ごとの最小 scope を作る。scope 内に capability proof がある場合だけ、その source slice と相対 use-site span を hash し、scope 外の sibling source text は key に混ぜない。scope と capability proof が部分的に重なる場合は None に倒し、summary cache を store/replay しない。

さらに raw-init complete leaf cache は、fact を持たない relevant function も empty entry として保存するようにした。raw-init summary が空であることも fixed-point の結果であり、これを保存しないと no-fact function が微小編集ごとに worklist へ戻るためである。empty entry は現在の function boundary へ再投影できる場合だけ worklist skip として使い、下流の summary index へ空 summary は渡さない。これにより、従来「summary なし」だった呼び出しの意味を変えずに recomputation だけを削る。

tmp/rpn_function_local_policy_empty_raw_init_filtered_code_edit_20260531.json では、same-session code edit の resource_raw_init_summary_recomputations が 73 から 0 になった。raw-init replay bypass は引き続き 0 であり、下流へ渡す resource_raw_init_summary_count も 78 のまま維持した。一方で edit compile は 6105ms でまだ秒単位であり、raw-init fixed-point は支配項ではなくなった。次は resource_raw_alias_summary_recomputations=32、raw alias residual reprojection、typed expression subtree query、codegen fragment cache を分けて進める。

同日の raw alias residual checkpoint では、raw_alias_return_entry の value reprojection 失敗を
reason 別 counter へ分解し、projection で型が決まった後に保存済み stable type key を再度
TypeId へ戻す段階が残件であることを確認した。修正では raw-init complete leaf replay と同じく、
通常 projection の結果型は現在 compile の function signature / suffix を replay authority とし、
raw address 由来の終端 Deref だけ保存済み stable type key を proof boundary として使う。
途中 Deref 後に field / storage offset などが続く場合は、後続 layout を検証できないため
fail-closed のまま拒否する。

tmp/rpn_raw_alias_projection_type_replay_code_edit_20260531.json では、
resource_summary_value_raw_alias_return_entry_reprojection_value_bypasses=0、
resource_summary_value_raw_alias_return_entry_bypasses=0、
resource_raw_alias_summary_recomputations=1 になった。残る 1 件は編集した関数自身の再計算であり、
raw alias summary の false miss は支配項から外れた。edit compile は 5923ms で、次は typed
expression subtree query、codegen fragment cache、変更関数自身の Resource summary 再計算、
Resource IR summary 外の固定費を分けて進める。

同日の stage timing JSON checkpoint では、Web / Node の CompilerSession.loader_cache_stats_json() に
直近 compile の stage timing を追加した。native の NEPL_COMPILE_STAGE_TIMING=1 は標準エラーへ
出力するだけなので、playground / Node test runner では compiled-output cache miss 後の支配 stage を
JSON artifact として残せなかったためである。cache hit では compile_stage_timings=[] を返し、
real compile では target precheck から wasm validation までの粗い stage 配列を返す。
compile_stage_timing_status は not_started、cache_hit、compiled、failed のいずれかで、
[] が cache hit なのか stage に到達しない早期失敗なのかを区別する。Web / Node では
performance.now() を優先し、存在しない host だけ Date.now() に fallback する。

tmp/rpn_stage_timing_same_session_code_edit_20260531.json では、同一 CompilerSession で RPN を
一度 compile した後、main 内の表示用 string literal だけを変更した。base は
compile_ms=12549、edit は compile_ms=5779 で、edit の stage timing は次の通りである。

同 edit の Resource summary delta は resource_summary_value_replayed_ops=4553、
resource_summary_value_recomputed_ops=16、resource_raw_alias_summary_recomputations=0、
resource_raw_init_summary_recomputations=0、resource_initialized_function_checks=0 だった。
これにより、現時点の秒単位コストは raw-init / raw-alias / final check の false miss ではなく、
大量の proof replay と Resource static check pipeline の固定費として残っていることが分かった。
次段階は typed expression subtree query と binary intermediate artifact により、変更されていない
stdlib / dependency proof と codegen fragment を session または disk artifact から直接差し替える。

次段階の CompilerSession 設計

CompilerSession は、純粋な compiler query を process 内で保持する単位である。CLI では 1 process 1 session、Web / Node test runner では WASM instance 1 session とする。

session が持つ query cache は次の階層に分ける。

各 query は入力値だけで決まり、FileSystem や StdIO を内部で読まない。host 依存の file read は CLI / Web wrapper 側で source text table に変換してから session へ渡す。

stdlib prechecked artifact

stdlib artifact は、release build または test runner startup で作成する。

artifact に含めるもの:

• bundled stdlib source hash table。
• module import graph と reverse dependency graph。
• public type / trait / function signature table。
• generic function の body hash と type parameter/kind boundary。
• trait impl index と method signature compatibility result。
• Resource IR summary template。generic type substitution が必要な部分は template として残す。
• source capability table。capability span は source hash と path に結び、古い source へ流用しない。

通常 program compile では、stdlib module の parse / import / signature / trait impl / capability validation を再実行しない。entry source と overlay source だけを新規 query として処理し、stdlib generic instantiation と reachable codegen fragment だけを必要に応じて具体化する。

incremental compile

微小変更では、changed source hash から reverse import graph を辿り、影響を受けた query だけを invalidation する。

binary intermediate artifact

現状の NEPLg2 は、JVM の .class や C 系の .o に相当する永続的な binary intermediate artifact をまだ作っていない。存在するのは process-local な LoaderSessionCache、ResourceSummaryValueCache、CompilerSession の compiled-output cache、そして最終 wasm / WAT 補助情報である。PreparedProgram は typed HIR、型コンテキスト、Resource drop plan、public signature を持つが、現時点では memory 上の中間値であり、session をまたいで読み書きできる object file ではない。

差分コンパイルの仕様では、.class 型の「検査済み typed object」と .o 型の「target-specific relocatable fragment」を分離する。NEPL の静的検査は Resource IR、effect、source capability、private effect mask proof に依存するため、単に wasm fragment だけを保存しても安全性 proof の再利用条件を説明できない。逆に typed HIR だけでは 10ms 級の最終 output 差し替えに届かないため、backend fragment と link manifest も必要である。

2026-06-01 field accessor materializer checkpoint

PublicCallableSurface.field_accessor を .neplmeta materializer で FieldAccessorKind へ戻し、
BindingKind::Func.field_accessor として current session の callable environment へ復元した。

materializer は field accessor の HIR や field offset を作らない。型 authority は structured public
surface の function type と signature hash に置き、direct call 時の aggregate layout / selector 解決は
既存の selected call path と field_apply に委ねる。

def_id は引き続き None である。これは .neplmeta が public interface artifact であり、source body
や Resource proof / codegen fragment ではないためである。したがって direct call は field accessor
metadata で get_field / get_field_ref / set_field intrinsic へ落とせるが、@func、indirect call、
memo_call @func のような function value identity 必須経路は fail-closed のままにする。

tmp/materialized-field-accessor-20260601.json の実測では、warm compile 3 回の
type.public_surface.materializer.field_accessor_unsupported は消えた。次の blocker は
type.public_surface.materializer.callable_rejected であり、.neplobj body missing にはまだ到達して
いない。したがって次 checkpoint は callable reject の詳細 code 化であり、missing link symbol、name
mismatch、callable type mismatch、arity mismatch、effect mismatch、signature hash mismatch を同じ
coarse diagnostic に畳み込まない必要がある。

2026-06-01 callable reject diagnostic detail checkpoint

PublicSurfaceMaterializeRejectReason の callable metadata reject を個別の stable
TypeDiagnosticCode に分けた。既存の type.public_surface.materializer.callable_rejected は互換性の
ため残すが、missing link symbol、link name mismatch、callable type expected、arity mismatch、
effect mismatch、signature hash mismatch はそれぞれ別 code として観測する。

tmp/materialized-callable-reject-detail-20260601.json の実測では、warm compile 3 回すべてが
type.public_surface.materializer.callable.arity_mismatch になった。これにより、次の root gap は
.neplobj body fragment ではなく、PublicCallableSurface.arity と
PublicTypeTerm::Function.params の生成 / materialize 境界であると分かった。

2026-06-01 field accessor wrapper arity checkpoint

type.public_surface.materializer.callable.arity_mismatch の根本原因は、通常 callable の arity
正規化ではなく、field accessor metadata の付与条件だった。detect_field_accessor_fn は
#intrinsic "get_field_ref" を使う関数を広く field accessor facade と見なしていたため、
core/mem/types.region_token_size_ref のような selector 固定 wrapper まで
PublicCallableSurface.field_accessor=GetRef として保存していた。

core/field.get_ref は obj と idx をそのまま intrinsic へ渡す 2 引数 facade である。一方、
region_token_size_ref は token だけを受け取り、selector "size" を内部で固定する 1 引数
wrapper である。この wrapper を .neplmeta materializer が get_ref ABI として復元すると、
FieldAccessorKind::GetRef.argument_count() == 2 と surface.arity == 1 が衝突する。

修正後の field accessor metadata は、intrinsic 名だけでなく、function parameter 数、intrinsic
argument 数、そして intrinsic argument が function parameter を同じ順序でそのまま渡していることを
確認した場合だけ付与する。selector literal を固定する wrapper は通常 callable として保存し、
selected body が必要になった場合は .neplobj が入るまで
backend.codegen.materialized_function_body_missing により source fallback へ戻す。

tmp/materialized-field-wrapper-arity-20260601.json の実測では、warm compile 3 回の
type.public_surface.materializer.callable.arity_mismatch は消えた。次の fallback diagnostic は
backend.codegen.materialized_function_body_missing であり、materialized_body_missing_fallbacks_delta_sum=3、
neplobj_candidate_body_missing_surfaces_delta_sum=15 になった。したがって次の実装対象は
.neplobj / .nepllink の stable link symbol、selected callable body hash、generic instantiation
hash である。

2026-06-01 body-missing skip checkpoint

.neplobj がまだ存在しない状態で、同じ CompilerSession が同じ dependency edge を毎回
.neplmeta materialized compile へ投機投入すると、必ず MaterializedFunctionBodyMissing に戻る
edge でも compile pipeline と source fallback を二重に走らせてしまう。

そこで、CompilerSession に source-hash scoped な body-missing skip set を追加した。この set は
target_module_path、target_source_key_hash、dependency_public_surface_hash を authority にする。
materialized compile が backend.codegen.materialized_function_body_missing で source fallback した場合だけ、
その compile で投機投入された dependency edge を記録し、次回同じ source / dependency surface なら
.neplmeta projection を行わず通常 source merge へ戻す。

この checkpoint は .neplobj の代替ではない。むしろ .neplobj 未実装の間、確実に body が必要になる
edge を繰り返し失敗させないための negative cache である。.neplobj / .nepllink 実装後は、この同じ
key 境界で「skip」ではなく object fragment availability を見るように置き換える。

追加した観測値:

• nepl_meta_body_missing_skip_entries
• nepl_meta_body_missing_skip_hits
• nepl_meta_body_missing_skip_stores
• nepl_meta_body_missing_skip_stale_entries
• nepl_meta_body_missing_skip_last_hits
• nepl_meta_body_missing_skip_last_stores

tmp/neplmeta-body-missing-skip-20260601.json では、materialized_body_missing_fallbacks_delta_sum が
3 から 1 へ、neplobj_candidate_body_missing_surfaces_delta_sum が 15 から 5 へ下がった。後続の body edit
2 回では body_missing_skip_hits_delta_sum=10 となり、既知の body-missing edge を再度 materialized
compile へ渡していない。

一方で body_edit_candidate / body_edit_repeat の compile_ms はまだ 1 秒前後であり、これは
.neplobj body fragment や stdlib preseed artifact がまだないためである。次の根本対応は、direct call に
限定した selected callable .neplobj key schema と availability resolver を入れ、function value /
memo_call / indirect call は stable codegen artifact と Resource proof が揃うまで fail-closed に残すこと。

2026-06-01 direct-call .neplobj key schema checkpoint

direct call に限定した .neplobj の最小 key schema を NeplObjDirectCallKey として
nepl-core::artifact に追加した。この checkpoint は object payload や linker ではなく、
後続の availability resolver / fragment store が使う invalidation boundary を先に固定する。

key に含める情報:

• compiler identity hash
• target / profile hash
• stdlib content hash
• backend feature set hash
• public callable stable link symbol
• materialized neplmeta$... symbol
• target source key hash
• selected callable body hash
• generic instantiation hash
• dependency public surface hash
• source capability policy hash
• private effect policy hash

TypeId、Span、FileId、SourceMap、typed HIR body は引き続き key に含めない。
.neplmeta の link symbol は公開 signature と source path を識別するが、body-only edit や
generic 具体化は識別しないため、.neplobj key では selected callable body hash と
generic instantiation hash を必須にする。

materialized_callable_symbol_for_link_symbol と public_callable_link_symbol_stable_hash を
typecheck/public_surface.rs の stable helper として公開し、materializer と .neplobj key が
同じ symbol 規則を使うようにした。これにより、neplmeta$... 文字列の生成規則が
materializer private helper に閉じず、object artifact 側でも同じ authority を参照できる。

この checkpoint でも function value、indirect call、memo_call は許可しない。.neplobj
availability resolver は次段階で direct call のみを対象にし、function value identity や
PrivateCache proof が必要な経路は stable backend representation と Resource proof が入るまで
fail-closed に維持する。

2026-06-01 materialized body-missing kind checkpoint

.neplobj availability resolver の直前準備として、materialized callable body-missing の
収集結果を codegen use kind 付きで保持するようにした。現在の診断 code は同じ
backend.codegen.materialized_function_body_missing のままだが、message では direct call、
function value、memoized function value を区別する。

この分類により、次段階の resolver は HirExprKind::Call の direct call だけを対象にできる。
FnValue、MemoizedFunctionValue、CallIndirect へ到達する materialized callable は、従来通り
source fallback / body-missing へ残す。これは memo_call の PrivateCache proof や function
value identity の stable backend representation を未実装のまま pure / object reuse 境界を
広げないための fail-closed 条件である。

2026-06-01 direct-call .neplobj availability input checkpoint

PublicInterfaceArtifactInputs に direct call 用 .neplobj availability 入力を追加し、
materialized callable body-missing dependency を diagnostic に変換する前に availability を見る
境界を作った。

現時点の実 compiler session はまだ key を渡さないため、通常の compile 挙動は fail-closed のままである。
これは意図的である。.neplobj key が存在するだけでは wasm / LLVM backend が実際に呼べる body
fragment を持つことを意味しない。caller は codegen fragment payload を同時に接続できる場合だけ
direct-call availability を渡す。

resolver は HirExprKind::Call の direct call のみを対象にする。同じ materialized symbol を持つ
FnValue、MemoizedFunctionValue、CallIndirect の callee は direct call key では解決しない。
この制約により、function value identity、indirect table lowering、memo_call の PrivateCache proof を
.neplobj direct-call MVP が暗黙に許可しない。

2026-06-02 direct-call .neplobj fragment payload checkpoint

2026-06-01 の key-only availability 入力は、backend payload を消費しないまま diagnostic だけを
消す危険があるため、backend 接続より先に使う設計としては破棄した。現 checkpoint では
PublicInterfaceArtifactInputs から .neplobj availability 入力を外し、body-missing diagnostic は
引き続き source fallback を要求する。

代わりに、次段階で backend/linker が実際に消費する payload 境界として
NeplObjDirectCallFragmentArtifact を追加した。key は
「どの direct-call body か」を判定する invalidation 境界であり、backend が実際に呼べる body を
提供しない。key だけで body-missing diagnostic を消すと、後続の wasm / LLVM backend は unknown
function symbol を受け取るため、.neplobj direct-call availability は key と backend payload を
不可分に扱う必要がある。

Wasm payload は NeplObjWasmDirectCallFragment として、params / results / function body bytes /
direct-call relocation を持つ。final module の function index は assembly 時点で決まるため、body
bytes だけに固定せず relocation を保持する。relocation は fragment 作成時に安定順へ正規化し、
同じ payload が入力順だけで別 cache key にならないようにした。重複 relocation offset と body 範囲外
offset は artifact 作成時点で拒否する。

次の実装では、source fallback / full compile で生成された .neplobj fragment payload を session
object store に保存したうえで、PreparedProgram / wasm codegen がその payload を function body set
と relocation map に登録する。diagnostic 抑制は、この backend 登録済み token が存在する場合にだけ
行う。

2026-06-02 wasm direct-call link-plan token checkpoint

.neplobj fragment payload を body-missing diagnostic 抑制へ直結させず、まず wasm backend の
function index 空間に登録できることを検査する link-plan token API を追加した。

plan_neplobj_direct_call_fragments_for_wasm は、現在の HirModule が持つ extern / user function と
同じ index 割当規則で .neplobj fragment を追加した場合に、次を確認する。

• fragment の materialized symbol が既存 function / import と衝突しない。
• fragment の backend feature set が現在 compiler の wasm backend feature set と一致する。
• direct-call relocation target が、既存 function または同じ plan 内の別 fragment として解決できる。

成功時は NeplObjWasmDirectCallLinkPlanToken を返す。この token は assigned function index、
direct-call key hash、fragment hash、resolved relocation を保持する。ただし、raw body bytes を
CodeSection へ投入し relocation を実際に patch する実装はまだないため、この token だけでは
body-missing diagnostic を消さない。次の段階では、token と function body insertion / relocation patch
を同じ backend 境界にまとめる。

2026-06-02 wasm direct-call fragment insertion checkpoint

generate_wasm_with_neplobj_direct_call_fragments は、通常の HIR function と .neplobj
direct-call fragment を同じ wasm module assembly に並べる。plan_neplobj_direct_call_fragments_for_wasm
で得た token を authority とし、fragment の signature は TypeSection / FunctionSection へ、
body bytes は CodeSection::raw へ投入する。

direct-call relocation は final module の function index を使って call immediate を patch する。
relocation offset は call opcode の直後であることを確認し、既存 immediate の LEB128 幅を読んでから
新しい function index の LEB128 encoding に差し替える。差し替えは後方から行うため、index が 127 を
超えて immediate が 1 byte から 2 byte 以上へ伸びる場合でも後続 relocation offset を壊さない。

PublicInterfaceArtifactInputs は .neplobj direct-call fragment payload を受け取れる。ただし、
body-missing diagnostic から外すのは HirExprKind::Call の direct call だけである。FnValue、
CallIndirect、MemoizedFunctionValue は function identity、table lowering、PrivateCache proof が
必要なので、direct-call fragment が同じ materialized symbol を持っていても引き続き fail-closed に
source fallback を要求する。

残る work は、source fallback / full compile で selected dependency body から fragment payload を
生成して same-session object store へ保存し、Web / loader の import edge が次回 compile でその store
を PublicInterfaceArtifactInputs へ渡すことである。

2026-06-01 selected body hash authority checkpoint

direct-call .neplobj key の selected_callable_body_hash は、Resource summary value cache が使う
Resource IR body hash と同じ authority から取得する方針にした。resource_function_body_stable_hash
を public Resource API として公開し、object key 側が TypeId、Span、一時値 ID、storage ID の
正規化規則を再実装しないようにする。

この hash は typed HIR body や raw source text ではなく、Resource IR の関数本文から作る。そのため
source body が .neplmeta で skip されている compile では自然には得られない。.neplobj store は
source fallback / full compile で selected dependency body を Resource IR まで下げた時点でこの hash を
作り、次回以降の direct-call availability key へ入れる。

raw wasm / LLVM body については、Resource IR body hash だけで本文文字列を識別しない。caller は
source capability policy hash、source key、backend feature set を合わせて .neplobj key を作り、
不確かな場合は fail-closed に通常 source fallback へ戻す。

2026-06-02 content-addressed stdlib dependency aggregate cache checkpoint

LoaderSessionCache は、通常の mutable provider session と、stdlib 全体の content hash を
namespace に使う bundled stdlib session を分けるようにした。Web CompilerSession は後者を使うため、
同一 session 内で同じ bundled stdlib source を読む場合、dependency aggregate public surface hash を
path/source hash から再利用できる。

通常の dependency aggregate key は module public surface hash と child aggregate hash を含むため、
hit 判定の前に依存先 source を parse して module public surface を再計算する必要がある。今回追加した
source-level key は source hash と child aggregate hash を含み、source token と依存閉包が同じ場合に
full parse / module clone を省く。さらに bundled stdlib 用の closed-source key は child aggregate hash を
含めないが、これは namespace が stdlib 全体の content hash であり、どれか 1 ファイルでも変われば
別 LoaderSessionCache へ分離される場合だけ有効にする。

この境界は SourceMap、typed HIR、Resource IR、codegen fragment を保存しない。保持するのは
path/hash keyed な public surface hash だけであり、stdlib overlay が指定された場合は従来どおり loader
cache と Resource summary artifact preseed を bypass する。mutable provider、test provider、
non-stdlib edge では child hash 付き key だけを使うため、依存先の公開面変更を closed-source key で
隠すことはない。

tmp/artifact-closed-source-aggregate-cache-20260602-r3.json では、materialized compile fallback bench が
次の結果になった。

• cold base compile_ms=423
• warm store probe compile_ms=230
• body edit candidate compile_ms=206
• body edit repeat compile_ms=185
• materialized_body_missing_fallbacks_delta_sum=1
• neplobj_candidate_body_missing_surfaces_delta_sum=5
• body_missing_skip_hits_delta_sum=10

同じ branch の direct probe では prewarm 側の dependency aggregate traversal が dep_delta=838 まで
下がった。これは base compile の固定費を削る checkpoint であり、.neplobj object store、
bundled stdlib .neplmeta / .neplproof preseed、persistent .nepl... file format、
memo_call の PrivateCache proof を完了させるものではない。特に body edit の 0.1 秒目標にはまだ届かず、
次の root task は selected dependency body から .neplobj fragment を生成して same-session object
store へ保存する経路と、stdlib preseed artifact の初回 compile 投入である。

2026-06-02 same-session .neplobj direct-call fragment store checkpoint

NeplObjDirectCallFragmentStore を追加し、source fallback / full compile で得られる予定の
direct-call fragment payload を same-session で保持できる境界を作った。この store は永続
.neplobj codec ではなく、Web playground の CompilerSession が次回 compile で
PublicInterfaceArtifactInputs へ fragment slice を渡すための in-memory staging authority である。

lookup は materialized symbol だけでは hit しない。target/profile、stdlib content hash、target
source key、dependency public surface hash、source capability policy hash、backend feature set、
private effect policy hash、link symbol、空 generic instantiation hash をすべて確認する。source
capability policy がない edge では raw-memory / private-effect policy を比較できないため、通常
source fallback に残す。

Web CompilerSession は .neplmeta projection 後の MaterializedPublicSurfaceInput と loader の
edge probe を突き合わせ、store から一致する direct-call fragment だけを取り出して
PublicInterfaceArtifactInputs::with_neplobj_direct_call_fragments に渡す。body-missing negative skip は、
同じ edge context の object candidate が store に存在する場合には materialized probe を省略しない。
これにより、将来 fragment producer が入った後に古い body-missing skip entry が object hit を隠さない。

この checkpoint では fragment producer はまだ実装していない。FnValue、CallIndirect、
MemoizedFunctionValue、memo_call は引き続き direct-call fragment では解決しない。次の作業は、
source fallback / full compile 後に checked HIR / Resource IR body hash / wasm lowering から
NeplObjDirectCallFragmentArtifact を生成し、store へ保存することである。

2026-06-02 direct-call .neplobj leaf fragment producer checkpoint

full/source compile 成功時に direct-call .neplobj fragment を生成する最初の producer を追加した。
producer 入力は NeplObjDirectCallFragmentExportRequest であり、Web CompilerSession は
materialized public surface と loader edge probe から link symbol、target source key、
dependency public surface hash、source capability policy hash を渡す。

producer は request が空でない場合だけ動く。通常の base compile や .neplmeta materialized compile
attempt では追加の Resource IR lowering を行わない。request がある fallback/full compile では、final
codegen HIR を Resource IR へ lowering し、resource_function_body_stable_hash から
selected_callable_body_hash を作る。HIR そのもの、TypeId、Span、temporary id、FileId は
.neplobj key authority にしない。

現 checkpoint の export 対象は call relocation を持たない leaf function に限定する。direct call、
indirect call、function value、memoized function value、string literal、private-cache intrinsic、
generic function、raw wasm/LLVM body は fragment を返さず通常 source fallback と同じ扱いにする。
これは performance のために high-order function identity や PrivateCache proof を direct-call artifact で
代替しないための fail-closed 境界である。

Web CompilerSession は source fallback / full compile で生成された fragment を same-session
NeplObjDirectCallFragmentStore へ保存する。stdlib overlay compile では保存しない。次回 compile では
既存 store lookup が完全 key に一致した fragment だけを PublicInterfaceArtifactInputs へ渡すため、
body-missing skip cache と object availability が同じ edge context で衝突しない。

残件は、direct-call relocation を backend lowering plan から作る producer、generic instantiation hash、
string/data relocation、raw wasm/LLVM body の relocatable representation、persistent .neplobj codec、
そして function value / memoized value / memo_call PrivateCache proof の別 backend である。

2026-06-02 direct-call .neplobj relocation producer checkpoint

direct-call .neplobj producer を leaf function から public direct call を含む function へ広げた。
producer は request された public callable link symbol と、source fallback / full compile 済み HIR の
function name を対応付け、direct call の callee が同じ request set に含まれる場合だけ placeholder
function index を割り当てる。private helper、unrequested callable、builtin、trait dispatch は stable
link symbol を持つ .neplobj relocation target ではないため fail-closed にする。

relocation offset は wasm body bytes を後から scan して作らない。lower_user の HIR lowering を
LoweredUserWasmInstructionStream へ分け、producer は wasm_encoder::Function へ
Instruction::Call(placeholder_index) を emit する直前の byte_len() + 1 を call immediate offset として
記録する。これにより offset は backend lowering が直接作った direct call と placeholder symbol の対応から
得られ、payload consumer の opcode check は壊れた cache payload を拒否する防衛境界に留まる。

FnValue、MemoizedFunctionValue、CallIndirect、string literal、private-cache intrinsic は引き続き
producer の対象外である。direct call の引数や block 内の nested expression にこれらが含まれる場合も
fragment は出さない。高階関数 identity、function table、memoized function の PrivateCache proof は
direct-call fragment では代替できないため、別 artifact / proof 境界として扱う。

追加 regression は次を固定する。

• neplobj_wasm_export_produces_direct_call_relocation_fragment: dep_caller -> dep_target の

relocation を producer が作り、既存 .neplobj linker / patcher で実行結果が full body と一致する。

• neplobj_wasm_export_rejects_direct_call_to_unrequested_target: request set にない callee への

direct call は fragment を生成しない。

• neplobj_wasm_export_rejects_non_direct_call_leaf_boundaries: direct call support 後も

FnValue / MemoizedFunctionValue / CallIndirect / private-cache intrinsic / string literal /
nested function value argument を拒否する。

• neplobj_wasm_codegen_rejects_relocation_offset_without_call_opcode: 永続 payload の offset が

call immediate でない場合は consumer 側で NeplObjDirectCallLinkInvalid にする。

この checkpoint により direct-call dependency body は same-session .neplobj store から再利用できる
対象が leaf function から public direct-call graph へ広がった。ただし generic instantiation hash、
string/data relocation、raw wasm/LLVM body、function value / memoized function value backend、
memo_call PrivateCache mask proof、persistent .neplobj codec は未完了である。base compile_ms の
追加短縮には、これらと並行して bundled stdlib .neplmeta / .neplproof preseed を進める。

2026-06-02 Web .neplobj direct-call store regression checkpoint

Web CompilerSession の tree regression に、same-session .neplobj direct-call fragment store の
実運用経路を追加した。fixture は core/char の char_utf8_cont_byte を使い、同じ session で
小さな body edit を繰り返す。

1. 初回 compile は store が空なので .neplobj lookup を行わない。
2. 依存 artifact が projection された後、materialized compile が body-missing で source fallback へ戻る。
3. fallback full/source compile は selected dependency body から direct-call fragment を export し、store へ保存する。
4. 次の body edit では store lookup が hit し、fragment が PublicInterfaceArtifactInputs へ渡る。

regression は nepl_obj_direct_call_fragment_store_lookup_hits と
nepl_obj_direct_call_fragment_store_lookup_fragments_returned の増加を確認し、同時に
nepl_meta_materialized_compile_body_missing_fallbacks が増えないことを確認する。これにより、
body-missing negative skip cache が object hit を隠さず、direct-call .neplobj availability が
materialized compile を次の blocker まで進める境界を固定する。

この checkpoint は性能値そのものを更新するものではない。対象は regression coverage であり、
base compile_ms の追加短縮は bundled stdlib .neplmeta / .neplproof preseed と persistent artifact
codec の実装で継続する。

2026-06-02 .neplmeta / .neplobj fallback root-cause checkpoint

materialized dependency compile では、artifact が存在することだけで source body を置き換えてはいけない。
置き換える artifact set は、loader / typecheck / backend の各段階で同じ authority を満たす必要がある。
今回の checkpoint では、.neplmeta materializer と .neplobj direct-call store の実測 fallback から
次の不変条件を追加した。

1. import/prelude edge の materialization は edge-local に commit / rollback する。

load_file_with の再帰中に見つかった child artifact は、parent edge の materialize 成否が決まるまで
staging に置く。parent edge が materialize 成功した場合、child artifact は root input へ漏らさない。
parent edge が source fallback した場合だけ、source body が必要とする child artifact を commit する。
include は引き続き textual/source merge boundary であり、artifact edge にはしない。

1. source AST と materialized surface の二重登録は、FileId だけでなく source path boundary でも防ぐ。

.neplmeta impl surface は source_path を持ち、同じ source path 由来の source impl が AST に残っても
typecheck driver は二重登録しない。FileId は source map session-local であり、artifact replacement
の永続 authority ではない。

1. nominal definition hash は stable nominal identity 付き placeholder を扱う。

materializer は nominal type を先に placeholder として predeclare するため、field / variant type が
TypeKind::Named placeholder を参照した状態で definition hash を検証する場合がある。このとき
stable identity がある Named は backend scalar fallback ではなく stable key を hash する。

1. .neplobj direct-call lookup は relocation dependency closure を返す。

caller fragment だけを返して callee fragment が欠ける状態は、link invalid ではなく object miss として
source fallback に戻す。link validation は最後の fail-closed guard であり、store lookup の不足を
diagnostic で丸めるための境界ではない。

1. raw wasm body は relocation-free leaf の場合だけ direct-call fragment にできる。

call / call_indirect を含まない raw wasm body は、public direct-call relocation target として保存できる。
raw wasm body が別 callable を呼ぶ場合は、raw wasm text から stable relocation を復元する設計が入るまで
fail-closed に残す。

tmp/materialized-raw-wasm-neplobj-20260602-rerun.json では、core/char fixture の cold base
compile_ms=387、warm store probe compile_ms=221、body edit candidate compile_ms=21、
body edit repeat compile_ms=21 だった。materialized_non_body_missing_fallbacks_delta_sum=0 で、
残る fallback code は .neplobj artifact がまだない初回の backend.codegen.materialized_function_body_missing
だけである。

この結果は対象 fixture の warm edit を 0.1 秒未満に入れたことを示すが、永続 artifact codec や
bundled stdlib preseed の完成を意味しない。base compile_ms の一般化には、.neplmeta / .neplproof
preseed、persistent .nepl... codec、generic instantiation、string/data relocation、raw LLVM body、
function value / memoized function value backend、memo_call PrivateCache proof を別境界として進める。

2026-06-02 explicit .neplmeta preseed API checkpoint

Web CompilerSession に preseed_nepl_meta_artifacts_for_source と
preseed_nepl_meta_artifacts_for_source_with_profile を追加した。これは通常の
prewarm_loader_cache_for_source とは別の明示 API である。

prewarm_loader_cache_for_source は parser / loader query だけを warm し、typed HIR、
Resource IR proof、codegen fragment、dependency public surface artifact を作らない。新しい preseed
API は root source から import / prelude edge probe を収集し、対象 bundled stdlib module を
typecheck して .neplmeta public interface artifact を same-session NeplMetaArtifactStore へ保存する。
Resource IR static check や wasm codegen は実行しない。

この API を通常 compile path から暗黙に呼ばない理由は、preseed が typecheck を伴う重い処理だからである。
Web playground の表示上の compile 時間を下げるために前処理へ時間を移すだけでは性能改善ではない。JSON
bench では preseed.elapsed_ms と各 run の compile_ms を分け、永続 .neplmeta / IndexedDB / disk
cache が将来この preseed cost を compile 前に支払えるかを評価する。

tmp/neplmeta-preseed-api-baseline-20260602.json では preseed なしの core/char fixture が cold base
compile_ms=438、warm store probe compile_ms=229、body edit repeat compile_ms=22 だった。
tmp/neplmeta-preseed-api-enabled-20260602.json では preseed.artifact_count=40、
preseed.elapsed_ms=373、preseed 後の cold base compile_ms=261、warm store probe
compile_ms=23、body edit repeat compile_ms=23 だった。

これは、初回 compile 前に .neplmeta を用意できれば compile 本体は短くなることを示す。一方で、現状の
in-memory preseed は同じ処理を compile 直前に実行するため、総時間の目標達成ではない。次の根本対応は
persistent .neplmeta codec、bundled stdlib artifact embedding、.neplproof preseed、そして
.neplobj direct-call fragment の persistent store である。

2026-06-02 RPN cold base checkpoint

RPN は小さい user program だが、std/stdio、stack、integer parse、string builder、string trim、
byte buffer などを通じて現在の stdlib / Resource IR proof の固定費を代表する。したがって cold
base の基準 workload として examples/rpn.nepl を継続して使う。

native release の stage-only 測定では、target\release epl-cli.exe --check -i examples\rpn.nepl --target std --stdlib-root stdlib が成功し、主な内訳は次だった。

release Web の cold base 測定では、NEPL_RUN_TEST_SKIP_COMPILER_WARMUP=1 で
nodesrc/run_test.js を実行し、compile_ms=9283、wasm_call_ms=8640、total_ms=9313
だった。stage timing は resource_typecheck=251.939ms、
resource_static_initialized_moves=6626.938ms、resource_static_owner_obligations=1455.416ms、
resource_static_check=8237.881ms である。

per-function timing では、str_trim の final initialized function check が約 0.8-0.9 秒、
sb_append_result の i32 scalar summary が約 0.65-0.85 秒、apply_op / dealloc_raw /
byte_builder_* の raw-init summary が 0.1-0.5 秒台に分散している。str_trim の op timing では
loop / branch の clone / merge が支配的であり、path-sensitive alternatives の指数増殖ではなかった。
NEPL_RESOURCE_PATH_REPLAY_DEBUG_FUNCTION=str_trim では replay reason は出ていない。

この checkpoint で、enum variant projection の不可能 leaf を i32 scalar return fact 収集時に
削る試行を行ったが、RPN native release は resource_static_check=7455ms へ悪化した。したがって
この局所 pruning は採用しない。RPN cold base の支配コストは単一 leaf の過剰収集ではなく、
stdlib-heavy Resource proof を初回 compile で毎回構築する固定費である。

同じく、str_trim の branch / loop op timing から見えた CellTable / raw alias / slot table の
merge 前 clone を借用版 merge API へ置き換える試行も行った。focused tests は通ったが、
native RPN は resource_static_check=7933ms、resource_initialized_moves=6949ms へ悪化した。
clone の一部を消しても merge lattice そのもの、summary fixed-point、stable fact 再投影の固定費は残る。
この局所変更も採用せず、初回 proof 構築を preseed する方向を優先する。

2026-06-02 の追加 profiling では、sb_append_result の i32 scalar summary は op 伝播ではなく
return fact 収集の alias / offset / condition query が支配的だった。I32ConditionQueryContext の
memo は Place が既に安定順序を持つにもかかわらず Vec 線形探索だったため、同じ純粋 query の
探索空間を BTreeMap へ移した。この変更は fact の意味や検査境界を変えず、cache の検索構造だけを
置き換える。

Map 化後の native RPN では、resource_initialized_i32_scalar_summaries が 1421ms / 1189ms、
resource_static_check が 7389ms / 7053ms だった。filter timing では sb_append_result の
collect_facts が 684ms / 159ms から 374ms / 109ms へ下がった。ただし raw-init summary、
str_trim の initialized function check、owner summary の固定費は残っており、base compile 0.5 秒
未満には届かない。これは短期の探索構造改善として採用するが、根本対応は引き続き bundled /
persistent .neplproof preseed と stdlib prechecked artifact である。

2026-06-02 の追加 followup では、str_trim と apply_op の op timing をさらに分解した。str_trim
は final initialized check の branch / loop、apply_op raw-init summary は branch / match が支配的で、
path-sensitive replay の指数増殖ではなく、control-flow merge 内の CellTable::availability_state_by
固定費が見えていた。同関数は ancestor / descendant entry を一時 Vec<CellStateEntry> に clone し、
exact state と非 initialized flow を複数回走査していたため、exact non-initialized、ancestor、
descendant、raw-cell、exact initialized、initialized flow の優先順位を保ったまま allocation-free な
単一走査へ整理した。

同一 followup の clean baseline は resource_static_check=7865ms、resource_initialized_moves=6756ms、
resource_initialized_raw_init_summaries=3113ms、resource_initialized_function_checks=2130ms だった。
変更後の native release RPN stage-only 単独測定では resource_static_check=6267ms / 6381ms、
resource_initialized_moves=5208ms / 5484ms である。per-function timing では str_trim final check が
895ms、apply_op raw-init summary が 552ms まで下がった。過去 checkpoint の最良値とは
測定揺れがあるため、この数値は同一 followup baseline からの改善として扱う。

remote/main の GUI 関連変更を取り込んだ main 上で release CLI を再ビルドした後の確認値は、
resource_static_check=6937ms、resource_initialized_moves=5876ms、
resource_initialized_raw_init_summaries=2378ms、resource_initialized_function_checks=1905ms だった。

次の根本対応は、.neplproof を persistent / bundled artifact として初回 compile 前に preseed
できるようにすることである。既存の ResourceSummaryProofArtifact は in-memory export/preseed と
fail-closed header 照合を持つが、ResourceSummaryProofSnapshot は serialization schema ではなく、
stable entry map も private である。したがって、disk / IndexedDB / build-time bundled artifact へ
進めるには、header first decode、stable entry codec、generic type-argument key、source capability
policy set hash、private effect policy hash を含む永続 codec を別 checkpoint として実装する必要がある。

2026-06-02 str_trim scan helper split checkpoint

remote/main の追加変更を取り込んだ後、RPN cold base を改めて同一 native release CLI で測定した。
stage-only run は resource_static_check=7565ms / 7455ms、resource_initialized_moves=6452ms /
6351ms、resource_initialized_raw_init_summaries=2980ms / 2946ms、
resource_initialized_function_checks=2014ms / 1974ms だった。per-function timing では
str_trim__str__str__pure の final initialized function check が 1117ms で最大の単一関数 cost
になっていた。

この checkpoint では、str_trim の意味を変えずに先頭側 scan と末尾側 scan を private helper へ
分けた。str_trim_left_index は先頭側の ASCII 空白が終わる byte index を返し、
str_trim_right_index は start より前へ戻らない末尾側の byte index を返す。public str_trim
は len、left scan、right scan、str_slice だけを接続する。これは Resource IR の検査規則や
stdlib の公開 API を変えず、1 つの関数に両方向 scan の loop / branch merge が集中する形を避ける
ための stdlib 構造改善である。

変更後の native release RPN stage-only 測定では、後続 run で resource_static_check=5787ms /
5397ms、resource_initialized_moves=4742ms / 4514ms、
resource_initialized_raw_init_summaries=2354ms / 2394ms、
resource_initialized_function_checks=1029ms / 921ms だった。per-function timing では str_trim
が上位 50 件から外れ、残る上位は apply_op / dealloc_raw の raw-init summary と
sb_append_result の i32 scalar summary になった。

この変更は str_trim 由来の単一関数 cost を下げるが、RPN cold base 0.5 秒未満を達成するものでは
ない。subagent review でも、native --check はまだ .neplproof preseed を実際の stdlib proof
artifact から受け取れておらず、empty cache や局所 pruning に戻るべきではないと確認した。次の根本
対応は、final initialized pass、owner obligation、raw-init / i32 scalar summary を fail-closed な
.neplproof stable entry として bundled / persistent preseed へ接続することである。

2026-06-02 RPN operator / builder helper split checkpoint

examples/rpn.nepl を cold base の代表 workload として固定し、str_trim helper split 後の branch
で再度測定した。変更前の stage-only run は resource_static_check=5870ms / 5900ms、
resource_initialized_moves=4897ms / 5011ms、resource_initialized_i32_scalar_summaries=1258ms /
1273ms、resource_initialized_raw_init_summaries=2560ms / 2655ms、
resource_initialized_function_checks=1004ms / 1015ms だった。

per-function timing では、RPN 固有の apply_op__Stack_T_i32_str... raw-init summary が 611ms、
dealloc_raw raw-init summary が 520ms、sb_append_result i32 scalar summary が 441ms だった。
process_token は + / - / * の分類後に apply_op へ渡すにもかかわらず、apply_op 内で
同じ token に対する str_eq chain を再実行していた。また、sb_append_result は空文字 fast path、
ByteBuilder append、error payload cleanup を 1 関数に集めており、return fact 収集の支配点になっていた。

この checkpoint では、RPN operator を RpnOp enum に分類する operator_from_token を追加し、
apply_op は分類済み RpnOp を受け取るようにした。演算値そのものは pure helper
apply_op_values に分け、Stack owner の pop / push と i32 演算選択を同一関数へ集中させない。
StringBuilder 側は sb_append_non_empty_result と sb_byte_builder_error_text を追加し、
public sb_append_result は空文字 fast path と非空 append path の接続に絞った。

変更後の native release RPN stage-only run は resource_static_check=5372ms / 4927ms、
resource_initialized_moves=4340ms / 4013ms、resource_initialized_i32_scalar_summaries=1135ms /
1090ms、resource_initialized_raw_init_summaries=2309ms / 2047ms、
resource_initialized_function_checks=824ms / 801ms だった。per-function timing run は計測出力の
overhead を含み resource_static_check=5453ms だったが、hot function の内訳は次の通りである。

RPN cold base static check
  resource_static_check: 4927-5372ms in stage-only run
    resource_initialized_moves: 4013-4340ms
      resource_initialized_raw_init_summaries: 2047-2309ms
        dealloc_raw raw-init summary: 498ms
        apply_op raw-init summary: 426ms
        byte_builder_push_bytes_ref raw-init summary: 232ms
        byte_builder_push_u8 raw-init summary: 120ms
        byte_builder_reserve raw-init summary: 112ms
      resource_initialized_i32_scalar_summaries: 1090-1135ms
        sb_append_non_empty_result i32 scalar summary: 320ms
        byte_builder_reserve i32 scalar summary: 183ms
        byte_builder_push_bytes_ref i32 scalar summary: 118ms
        apply_op i32 scalar summary: 109ms
        byte_builder_push_u8 i32 scalar summary: 104ms
      resource_initialized_function_checks: 801-824ms
        dealloc_raw final initialized check: 166ms
        apply_op final initialized check: 99ms
        parse_u128_radix_digits_from final initialized check: 93ms
    resource_owner_summaries: 680-787ms
    resource_owner_obligations: 779-901ms

apply_op raw-init summary は、文字列 token を直接受けていた変更前の 611ms から、分類済み
RpnOp を受ける形で 426ms まで下がった。sb_append_result は public wrapper 自体が 3ms へ
下がり、残る支配点は非空 append helper の 320ms と ByteBuilder 系 helper に移った。

この改善は RPN source と StringBuilder の構造を Resource IR が扱いやすい粒度へ整理したものであり、
base compile 0.5 秒未満を達成するものではない。残る支配点は、dealloc_raw / ByteBuilder / Stack owner
flow の proof template と、stdlib-heavy Resource proof を cold start で毎回構築する固定費である。
次の根本対応は、actual .neplproof artifact を header-first / fail-closed に persistent / bundled
preseed へ接続し、final initialized pass、raw-init / i32 scalar summary、owner obligation を stdlib
prechecked proof として再利用できるようにすることである。

2026-06-02 RPN summary fixed-point index checkpoint

examples/rpn.nepl の cold base では、前 checkpoint 後も Resource summary 固定点の各反復で
summary slice から関数名索引を作り直していた。これは検査規則そのものではなく、同じ
function -> summary position 関係を何度も再構築する探索構造の固定費である。

この checkpoint では SummaryNameIndex を追加し、raw alias / i32 scalar / raw-init /
collection-slot / raw pointer / raw identity / owner summary の固定点中に、関数名から summary
位置を引く索引を保持するようにした。summary が追加・削除された場合だけ索引を更新し、各 summary
kind の SummaryIndex はこの索引を借用 view として使う。あわせて raw memory release requirement の
対象引数表を毎回 Vec にせず、静的 slice として返すようにした。

release CLI を再ビルドした後の native stage-only run は次の通りである。

RPN cold base static check
  resource_static_check: 5899-6314ms
    resource_initialized_moves: 4776-5169ms
      resource_initialized_raw_init_summaries: 2572-2866ms
        recomputations: 156
        summaries: 80
      resource_initialized_i32_scalar_summaries: 1121-1227ms
        recomputations: 214
        summaries: 89
      resource_initialized_function_checks: 996-1028ms
      resource_initialized_raw_alias_summaries: 72-81ms
      resource_initialized_collection_slot_summaries: 2-3ms
    resource_owner_obligations: 903-986ms
      resource_owner_summaries: 794-859ms
      resource_owner_function_checks: 109-126ms
    resource_typecheck: 181-189ms
    resource_lowering + coverage: 61-65ms
    resource_effect_boundaries: 46-49ms
    resource_borrow_lifetimes: 37-42ms

同じ release rebuild 前の clean baseline は resource_static_check=6622-6689ms、
resource_initialized_moves=5416-5455ms、resource_initialized_raw_init_summaries=2814ms、
resource_initialized_i32_scalar_summaries=1406-1428ms、resource_owner_obligations=1032-1061ms
だった。したがって、今回の固定点索引化は proof の意味を変えずに、おおよそ 5-12% 程度の cold
static-check cost を削った。

関数別 timing run はログ出力 overhead を含むため総量比較には使わないが、残る支配点の順位は次の
通りだった。

RPN per-function profiling hot spots
  raw_init_summary
    dealloc_raw: 1144ms in logging run
      internal raw-init stage: release_requirements 570ms in filtered sequential run
    apply_op: 515ms
      internal raw-init stage: release_requirements 380ms, variant_param_cells 117ms in filtered run
    byte_builder_push_bytes_ref: 489ms
    byte_builder_reserve: 472ms
    byte_builder_push_u8: 428ms
  i32_scalar_summary
    sb_append_non_empty_result: 377ms
    byte_builder_reserve: 216ms
    byte_builder_push_bytes_ref: 132ms
    apply_op: 117ms
    byte_builder_push_u8: 114ms
  resource_initialized_function_check
    dealloc_raw: 261ms
    apply_op: 224ms
    parse_u128_radix_digits_from: 152ms

この結果から、RPN cold base の次の根本対応は dealloc_raw / ByteBuilder / apply_op をさらに
関数分割することではなく、raw-init release requirement の control-flow replay と stdlib-heavy
Resource proof を初回 compile 前から利用できる .neplproof preseed に移すことである。空の
ResourceSummaryValueCache を CLI --check に接続する試行は miss/store overhead だけが増えて
悪化したため、persistent / bundled artifact なしの cache 接続は採用しない。

RPN release requirement state-step checkpoint

2026-06-02 の follow-up では、examples/rpn.nepl の cold base を引き続き代表 workload とし、
raw-init summary 内の release requirement collector を詳しく測定した。

変更前の sequential baseline は resource_static_check=5406ms / 5737ms / 5317ms、
resource_initialized_moves=4414ms / 4583ms / 4245ms、
resource_initialized_raw_init_summaries=2325ms / 2348ms / 2189ms だった。
dealloc_raw の op timing では、release requirement collector が nested Branch body を
full check_ops で再実行しており、branch count=15 total=1225ms max=319ms、
call count=144 total=647ms max=162ms が支配的だった。

対応として、release requirement collector に control-flow state step を追加した。Branch と
Match は nested body の release obligation を再帰的に収集しつつ、後続 sibling op に必要な
CellTable、CollectionSlotStateTable、raw alias、function alias、pending realloc、variant
initialization だけを実際の Resource check と同じ規則で軽く進める。これにより、release obligation
収集と full state replay を重複させない。CollectionSlotStateTable は再帰呼び出しにも渡し、
control value transfer が collection slot lifecycle proof を失わないようにした。

あわせて、i32 scalar return fact の condition 収集に guard を入れた。raw alias 側に
i32 value condition を証明できる source がない場合、parameter / return condition の全候補探索を
行わない。直接定数と offset constant endpoint は保持するため、既存の condition proof 能力は
削っていない。

最終形の native release stage-only 3 run は次の通りである。

今回の範囲では、baseline 中央値 resource_static_check=5406ms から 3878ms へ約 28% 下がった。
resource_initialized_raw_init_summaries は 2325ms から 918ms へ約 61% 下がり、今回の主効果は
raw-init release requirement の control-flow replay 削減である。

最終形の per-function timing は次の階層で残る支配点を示している。

RPN final hot spots
  resource_initialized_i32_scalar_summaries=957ms
    sb_append_non_empty_result: 269ms
    byte_builder_reserve: 156ms
    byte_builder_push_bytes_ref: 96ms
    apply_op: 91ms
    byte_builder_push_u8: 82ms
  resource_initialized_raw_init_summaries=943ms
    apply_op: 189ms
    dealloc_raw: 164ms
    byte_builder_push_bytes_ref: 64ms
    byte_builder_reserve: 49ms
    vec_cleanup_copy_initialized_prefix: 29ms
  resource_initialized_function_checks=838ms
    dealloc_raw: 162ms
    parse_u128_radix_digits_from: 97ms
    apply_op: 93ms
    str_slice_result: 45ms
    eval_line: 41ms

dealloc_raw の最終 op timing では branch count=6 total=288ms max=152ms、
call count=86 total=194ms max=75ms になった。初期測定の branch total=1225ms、
call total=647ms からは大きく下がったが、Branch / call はまだ dealloc_raw raw-init summary の
主要部分である。

この checkpoint でも RPN cold base は 0.5 秒未満に届いていない。次の根本対応は、
sb_append_non_empty_result / ByteBuilder 系の i32 scalar condition proof の探索空間削減、
dealloc_raw / apply_op / Stack owner flow の Resource proof template 化、bundled / persistent
.neplproof preseed である。

RPN i32 scalar variant projection filter checkpoint

2026-06-02 の follow-up では、RPN cold base の i32 scalar return fact 収集を再測定した。
baseline follow-up の native release stage-only 3 run は resource_static_check=4056ms / 4247ms / 4008ms、
resource_initialized_i32_scalar_summaries=1127ms / 1129ms / 1027ms だった。per-function では
sb_append_non_empty_result=297ms、byte_builder_reserve=229ms、byte_builder_push_u8=131ms、
byte_builder_push_bytes_ref=125ms、apply_op=107ms が i32 scalar summary の上位だった。

この支配点に対して、direct parameter condition の path 間 intersection を試したが採用しなかった。
1 path 目で候補を収集し、後続 path で候補だけを再検査する形にしたところ、
resource_initialized_i32_scalar_summaries=1314ms / 1270ms / 1062ms、
resource_static_check=4411ms / 4318ms / 3725ms へ悪化した。sb_append_non_empty_result の詳細では
1 本目の候補収集が 400ms になっており、探索空間削減より別 context での再照会 cost が大きかった。

採用した変更は、return leaf 収集前に concrete variant から不可能な projection を除外する filter である。
collect_i32_scalar_return_facts_for_value_suffix_cached_with_projection_filter は、caller から受け取った
projection_is_possible を leaf enumeration に適用する。function_i32_scalar_return_summary では
後続の projection merge と同じ state.concrete_variants.projection_is_possible を渡すため、
Result::Ok が確定している path で Err payload の i32 fact 収集を始めない。不明な variant では
caller が true を返すため、従来通り fail-open の全探索になる。

変更後の native release stage-only 3 run は次の通りである。

per-function timing はログ overhead と実行ぶれを含むため総量比較には使わず、残る支配点の順位として扱う。

RPN variant-filter hot spots
  resource_initialized_i32_scalar_summaries=1133ms
    sb_append_non_empty_result: 317ms
    byte_builder_reserve: 189ms
    byte_builder_push_bytes_ref: 118ms
    apply_op: 112ms
    byte_builder_push_u8: 100ms
  resource_initialized_raw_init_summaries=1000ms
    apply_op: 195ms
    dealloc_raw: 164ms
  resource_initialized_function_checks=928ms
    dealloc_raw: 175ms
    parse_u128_radix_digits_from: 106ms
    apply_op: 100ms

この checkpoint は、静的検査規則を弱めずに不可能な sibling variant payload の探索開始を避ける小幅改善である。
RPN cold base median は resource_static_check=3793ms であり、0.5 秒未満にはまだ遠い。次の根本対応は、
native --check cold path に actual .neplproof preseed を接続し、stdlib-heavy proof を事前検査済み
artifact から読むことである。あわせて、dealloc_raw / apply_op / Stack owner flow の proof template と、
source 単位の i32 condition query memo を検討する。

RPN source-specific proof gate checkpoint

2026-06-02 の follow-up では、native --check cold path と Web CompilerSession の .neplproof
利用境界を切り分けた。native nepl-cli --check は check_module_with_source_map を直接呼んでおり、
ResourceSummaryValueCache や in-memory .neplproof preseed を使っていない。一方、Web
CompilerSession は same-session の ResourceSummaryProofArtifact preseed / export slot を持つ。

空の ResourceSummaryValueCache を native CLI の check path に接続する試行は採用しない。RPN cold base
では preseed hit が無いまま stable key / replay probe の固定費だけが増え、resource_static_check は
6761ms / 6849ms / 6816ms、resource_initialized_moves は 4751ms / 4847ms / 4796ms、
resource_owner_obligations は 1873ms / 1862ms / 1875ms へ悪化した。native cold base で cache を
有効にするには、header-first / fail-closed な bundled または persistent .neplproof artifact が先に必要である。

採用した変更は、既存の proof を弱めない探索空間削減に限定した。

• raw-init release requirement では、summary application ごとに parameter alias list を一度だけ作る。

raw_address_suffix_after_address、ty: address_alias.ty、kind、重複除去は従来通り維持する。

• i32 scalar return fact 収集では、対象 value の scalar alias に届く direct condition / value、relation、

scale、offset が無い場合だけ condition 探索を省く。無関係な i32 fact が同じ graph にあるだけでは、
cold leaf の全 condition を照会しない。

• relation / condition / parameter condition 収集で同じ I32ConditionQueryContext を共有し、同じ

raw alias graph への alias / offset 到達性照会を繰り返さない。

formatter 後の native release RPN stage-only 3 run は次の通りである。

origin/main 9812d619 を取り込んで main へ merge した後の再測定では、
resource_static_check=4083ms / 4177ms / 4082ms、resource_initialized_moves=3039ms / 3138ms / 3095ms、
resource_initialized_i32_scalar_summaries=1065ms / 1087ms / 1034ms、
resource_initialized_raw_init_summaries=998ms / 1030ms / 1037ms、
resource_initialized_function_checks=896ms / 934ms / 942ms、
resource_owner_obligations=894ms / 896ms / 848ms だった。post-merge median は
resource_static_check=4083ms であり、RPN の基準値としてはこの値も併記する。

per-function timing は次の階層を示している。ログ overhead を含むため総量比較ではなく、残る支配点の順位として扱う。

RPN cold base static check
  resource_static_check=3723ms
    resource_initialized_moves=2705ms
      resource_initialized_i32_scalar_summaries=929ms
        sb_append_non_empty_result: 268ms
        byte_builder_reserve: 173ms
        apply_op: 97ms
        byte_builder_push_bytes_ref: 72ms
        byte_builder_push_u8: 71ms
      resource_initialized_raw_init_summaries=890ms
        apply_op: 185ms
        dealloc_raw: 148ms
        byte_builder_push_bytes_ref: 59ms
        byte_builder_reserve: 46ms
        byte_builder_push_u8: 28ms
      resource_initialized_function_checks=811ms
        dealloc_raw: 151ms
        parse_u128_radix_digits_from: 91ms
        apply_op: 80ms
        str_slice_result: 53ms
        eval_line: 38ms
    resource_owner_obligations=881ms

2026-06-02 の follow-up remeasure では、HEAD 相当の native release --check でばらつきが大きい
resource_static_check=6303ms / 4993ms / 4115ms になった。run1 は
resource_initialized_raw_init_summaries=2390ms と resource_owner_obligations=1400ms が同時に
外れたため、RPN cold base は単発値ではなく 3 run 以上の stage hierarchy で見る必要がある。

同じ checkpoint の per-function timing 1 run は次の階層である。

RPN cold base static check follow-up
  resource_static_check=4358ms
    resource_initialized_moves=3293ms
      resource_initialized_i32_scalar_summaries=1177ms
        sb_append_non_empty_result: 344ms
        byte_builder_reserve: 239ms
        apply_op: 103ms
        byte_builder_push_bytes_ref: 97ms
        byte_builder_push_u8: 90ms
      resource_initialized_raw_init_summaries=1053ms
        apply_op: 213ms
        dealloc_raw: 186ms
        byte_builder_push_bytes_ref: 75ms
        byte_builder_reserve: 49ms
        byte_builder_push_u8: 30ms
      resource_initialized_function_checks=959ms
        dealloc_raw: 168ms
        parse_u128_radix_digits_from: 111ms
        apply_op: 101ms
    resource_owner_obligations=923ms
      resource_owner_summaries=802ms
      resource_owner_function_checks=120ms

この follow-up で試した local cache / relevance filter は採用しない。

• I32ConditionQueryContext に condition candidate memo を追加する案は、Place key の BTreeMap

固定費が hit 率を上回った。

• offset 由来 parameter condition の source 別収集を削る案は、focused test は通ったが RPN

per-function で StringBuilder / ByteBuilder の i32 scalar cost が増えた。

• owner summary relevance filter は recomputation を 295 -> 267 へ減らしたが、filter 固定費が

上回った。

したがって、RPN cold base を 0.5 秒未満へ進める主経路は、局所 memo ではなく bundled /
persistent .neplproof stable codec、native --check preseed、stdlib proof template、owner return
summary stable mirror である。

この checkpoint でも RPN cold base は 0.5 秒未満に届いていない。次の根本対応は、actual
.neplproof artifact を native --check cold path に接続し、stdlib-heavy proof を初回 compile 前から
preseed することである。owner return summary はまだ .neplproof payload に入っていないため、owner
return summary stable mirror も同じ優先度で進める。

2026-06-02 の proof-backed check gate checkpoint では、native cold --check に空の
ResourceSummaryValueCache を渡す経路を避けるため、cache 起動条件を Resource proof preseed の
有効性から分離した。追加した境界は ResourceSummaryValueCacheActivation::OnlyAfterAcceptedPreseed
である。same-session compile は既定の Always を使い、これまで通り空 cache から stable summary
entry を収集できる。一方、proof-backed check wrapper は .neplproof が missing / rejected / empty の
場合に Resource static check へ cache と context を渡さない。

この checkpoint の native release RPN stage-only 3 run は、変更前確認が
resource_static_check=3785ms / 3359ms / 3563ms、変更後が
resource_static_check=3882ms / 3856ms / 3563ms だった。通常 CLI path は baseline 範囲内だが、
RPN cold base はまだ秒単位であり、今回の変更は速度達成ではなく、persistent / bundled .neplproof
preseed を安全に接続するための root boundary である。

追加 regression は、既定 activation が従来の same-session cache instrumentation を維持すること、
OnlyAfterAcceptedPreseed では artifact が無い場合と matching header の empty artifact の場合に
cache instrumentation が起動しないことを固定する。次は disk / bundled artifact loader で
accepted usable entry を持つ .neplproof を渡し、RPN cold base の initialized moves と owner
obligations を初回から replay できるかを測る。

2026-06-02 の allocator / ByteBuilder reserve helper split checkpoint では、proof-backed check gate
後の RPN cold base をさらに関数構造から削った。開始時点の native release stage-only 3 run は
resource_static_check=3888ms / 3600ms / 4158ms、中央値 3888ms である。支配階層は次の通り。

RPN cold base static check before allocator / ByteBuilder split
  resource_static_check: median 3888ms
    resource_initialized_moves: 2677-3107ms
      resource_initialized_i32_scalar_summaries: 903-1017ms
      resource_initialized_raw_init_summaries: 896-1020ms
      resource_initialized_function_checks: 801-993ms
    resource_owner_obligations: 788-895ms

per-function timing では dealloc_raw が raw-init summary と final initialized function check の両方に
残り、byte_builder_reserve が i32 scalar summary 上位に残っていた。対応として、allocator は
free list 挿入位置探索、link、next coalesce、prev coalesce を private helper へ分割し、public
dealloc_raw をこれらの接続へ縮めた。ByteBuilder は Empty storage grow と Owned storage grow を
private helper へ分け、public byte_builder_reserve を capacity 計算と storage branch 接続へ縮めた。

この変更は公開 API や検査契約を変えない。allocator は address-order free list、ptr <= 0 no-op、
前後 coalesce、runtime ABI を維持する。ByteBuilder は失敗時の builder owner recovery、
capacity exceeded / out-of-memory / invalid operation の分類、旧 region token recovery を維持する。

変更後の native release stage-only 5 run は次の通り。

RPN cold base static check after allocator / ByteBuilder split
  resource_static_check: 3134ms / 2819ms / 3054ms / 2801ms / 3018ms
    median: 3018ms
    resource_initialized_moves median: 2248ms
      resource_initialized_i32_scalar_summaries median: 783ms
      resource_initialized_raw_init_summaries median: 741ms
      resource_initialized_function_checks median: 651ms
    resource_owner_obligations median: 607ms
  native CLI elapsed by Measure-Command: about 3720ms

per-function timing では byte_builder_reserve i32 scalar summary が約 166ms から約 36ms へ下がった。
allocator 分割後、dealloc_raw は hot path 上位から大きく後退した。これは RPN cold base を
0.5 秒未満へ到達させるものではないが、stdlib の支配関数を小さい proof boundary へ分けると
Resource IR の固定点探索が実測で下がることを示す。

残る支配点は sb_append_non_empty_result / byte_builder_push_bytes_ref / byte_builder_push_u8 の
i32 scalar と raw-init、apply_op / parse 系 function check、owner obligation である。次の主経路は
actual .neplproof preseed、stdlib proof template、owner return summary stable mirror である。

2026-06-02 native .neplcheck exact check cache checkpoint

native CLI の --check に、同一 binary / target / profile / stdlib root / input path と、前回成功時に
読み込まれた全 source file の byte hash が一致する場合だけ成功を再利用する .neplcheck artifact を
追加した。これは .neplproof ではなく、Resource proof の部分再利用も行わない。前回成功した
完全一致入力について、compiler の純粋な query result を loader 前に再利用する exact success cache
である。

.neplcheck の cache path は compiler executable の path / size / modified time、target、profile、
input path、stdlib root から作る。payload には前回 loader が実際に読んだ source path、source length、
source hash と source-set fingerprint を保存する。次回は loader を起動する前に manifest の全 path を
読み直し、1 つでも欠ける、hash が違う、fingerprint が合わない場合は通常 compile へ fail-closed に戻る。
失敗結果は保存しない。

profiling を壊さないため、NEPL_COMPILE_STAGE_TIMING、NEPL_RESOURCE_PER_FUNCTION_TIMING、
NEPL_RESOURCE_OP_TIMING が有効な場合は .neplcheck を bypass する。明示的に止めたい場合は
NEPL_DISABLE_CHECK_CACHE を使う。保存先は既定で target/neplg2/check-cache-v1 であり、
NEPL_CHECK_CACHE_DIR で差し替えられる。

RPN の実測:

stage timing cache bypass:
  resource_static_check: 1430ms / 1422ms / 1441ms
  median resource_static_check: 1430ms
  median resource_initialized_moves: 971ms
  median resource_initialized_i32_scalar_summaries: 182ms
  median resource_initialized_raw_init_summaries: 340ms
  median resource_initialized_function_checks: 418ms
  median resource_owner_obligations: 361ms

wall time cache bypass:
  cold/base --check: 1959.896ms / 1993.700ms / 2679.619ms / 2140.969ms / 2064.638ms
  median cold/base --check: 2064.638ms

.neplcheck exact cache wall time:
  first miss/store: 2196.043ms
  second pre-load hit: 19.398ms

この checkpoint により、変更のない native --check の cold process 再実行は 0.1 秒未満になった。
一方で、初回 RPN base compile の Resource static check はまだ 1 秒台であり、0.5 秒未満目標は未達である。
初回 base を下げる主経路は引き続き actual .neplproof stable codec、stdlib proof template、
owner return summary stable mirror、.neplmeta / .neplproof bundled preseed である。

2026-06-02 の RPN Stack pop2 owner-flow checkpoint では、Stack owner flow の局所支配をさらに測った。
作業開始時点の native release stage-only 3 run は次の通りである。

RPN cold base static check before Stack pop2
  resource_static_check: 2995ms / 2939ms / 2813ms
    median: 2939ms
    resource_initialized_moves: 2271ms / 2173ms / 2116ms
      resource_initialized_i32_scalar_summaries: 836ms / 744ms / 737ms
      resource_initialized_raw_init_summaries: 734ms / 700ms / 680ms
      resource_initialized_function_checks: 636ms / 666ms / 637ms
    resource_owner_obligations: 602ms / 640ms / 581ms

RPN の apply_op は従来、2 回の pop_top で Stack owner を移動し、途中の underflow path でも
owner recovery を個別に持っていた。StackPop2 / pop_top2 はこの 2 要素 pop を 1 つの owner
boundary にまとめる。公開 contract は、要素が 2 個以上なら lower / top と短くなった stack を返し、
2 個未満なら元の stack owner と None を返す、という形である。

変更後の native release stage-only 5 run は次の通りである。

RPN cold base static check after Stack pop2
  resource_static_check: 3223ms / 2877ms / 2882ms / 2611ms / 2833ms
    median: 2877ms
    resource_initialized_moves median-near: about 2092ms
      resource_initialized_i32_scalar_summaries median-near: about 783ms
      resource_initialized_raw_init_summaries median-near: about 611ms
      resource_initialized_function_checks median-near: about 631ms
    resource_owner_obligations median-near: about 650ms

ByteBuilder の reserved write helper 分割も同時に検討したが、helper 境界で owner recovery が
resource.owner.use_after_move になるため採用しなかった。これは静的検査を弱めて通す対象ではなく、
actual .neplproof と owner return summary stable mirror で関数境界を越えた証明再利用を入れるべき
箇所である。

この checkpoint は局所的な owner-flow API 改良であり、0.5 秒未満の cold base 目標を達成するものでは
ない。RPN の支配階層はまだ Resource IR initialized-state と owner obligation に残っているため、
persistent / bundled .neplproof preseed、stdlib proof template、owner return summary stable mirror を
主経路として継続する。

2026-06-02 の RPN print_i32 allocation-free checkpoint では、RPN が error path と整数表示のために
alloc/string/integer/format、StringBuilder、ByteBuilder の proof graph を引き込んでいることを
再測定した。変更前の native release stage-only 5 run は次の通りである。

RPN cold base static check before allocation-free print_i32
  resource_static_check: 3395ms / 2922ms / 2730ms / 2816ms / 2985ms
    median: 2922ms
    resource_initialized_moves median-near: 2098ms
      resource_initialized_i32_scalar_summaries median-near: 731ms
      resource_initialized_raw_init_summaries median-near: 640ms
      resource_initialized_function_checks median-near: 650ms
    resource_owner_obligations median-near: 703ms
  reachable functions: 307 kept=304

stdlib/std/stdio/print.nepl の print_i32 は、str を確保せず digit byte を直接 stdout へ出す実装へ
変えた。i32 最小値の符号反転 overflow を避けるため、負数は負数のまま
-1000000000 から -1 までの divisor で上位桁から出力する。examples/rpn.nepl の stack count
error も、文字列連結ではなく固定文字列と print_i32 の直接出力に変えた。

変更後の native release stage-only 5 run は次の通りである。

RPN cold base static check after allocation-free print_i32
  resource_static_check: 1584ms / 1427ms / 1545ms / 1539ms / 1435ms
    median: 1539ms
    resource_initialized_moves median: 1041ms
      resource_initialized_i32_scalar_summaries median: 199ms
      resource_initialized_raw_init_summaries median: 365ms
      resource_initialized_function_checks median: 445ms
    resource_owner_obligations median: 394ms
  reachable functions: 271 kept=268

origin/main c3066b8a を merge した後の current tree では、
resource_static_check=1433ms / 1535ms / 1504ms / 1460ms / 1500ms、中央値 1500ms だった。
階層中央値は resource_initialized_moves=1013ms、resource_initialized_i32_scalar_summaries=194ms、
resource_initialized_raw_init_summaries=355ms、resource_initialized_function_checks=435ms、
resource_owner_obligations=383ms である。

これは compile check を skip する最適化ではなく、RPN が不要な stdlib formatting 実装を reachable
closure に含めないようにする構造改善である。0.5 秒未満目標にはまだ届いていないため、次の根本対応は
actual .neplproof preseed、stdlib proof template、owner return summary stable mirror である。

2026-06-02 の .neplproof persistent codec / native proof cache checkpoint では、RPN cold base を
examples/rpn.nepl に固定し、native release --check の Resource proof を disk-backed
.neplproof へ保存・preseed する入口を追加した。

.neplproof bytes は header-first container とした。先頭の fixed header だけを先に decode し、
schema / compiler identity / target / profile / stdlib content / dependency public surface /
Resource summary namespace / source capability policy / private effect policy が一致しない場合は、
payload を postcard decode しない。payload は ResourceSummaryProofSnapshot の stable entry map で、
TypeId、Span、FileId、SourceMap、diagnostic、compile-local replay plan は含めない。
container schema 2 では fixed header に payload hash も持たせ、header は一致しているが payload
bytes が壊れた artifact も postcard decode 前に拒否する。nepl-core は bytes codec と fail-closed
preseed 判定だけを持ち、disk I/O と cache directory policy は nepl-cli の proof_cache module に
閉じる。

.neplproof は compiler が生成した local build cache を信頼する設計であり、悪意ある第三者が
任意に書き換えられる directory を proof cache として使ってはならない。未信頼の workspace /
CI cache / artifact restore を扱う場合は NEPL_DISABLE_PROOF_CACHE=1 を使い、Resource static check
を通常経路で実行する。今後 bundled stdlib proof へ進める場合は、配布 artifact の署名や compiler
release hash と同じ trust root に載せる。

RPN の実測では、raw-alias stable entry を永続 proof として扱うと、entry 再投影候補生成の固定費が
raw-alias summary 再計算より高く、resource_initialized_raw_alias_summaries が約 29ms から
約 590-640ms へ悪化した。raw-alias summary 本体は RPN では軽いため、CLI の disk-backed
.neplproof 経路では ResourceSummaryValueCache::disable_raw_alias_return_entry_collection を使い、
raw-alias stable entry の replay / candidate collection / old artifact preseed を無効にする。
same-session cache と通常の in-memory .neplproof export の既定値は有効なまま維持し、native
disk-backed proof cache で明示的に disable した場合だけ raw-alias kind を空にする。

最終 checkpoint の RPN proof-backed 5 run は次の通りである。exact .neplcheck は無効化し、
.neplproof だけの効果を測っている。

RPN proof-backed cold base static check
  proof disabled resource_static_check: 1601ms / 1880ms / 1737ms
    median: 1737ms
  proof preseed resource_static_check: 1417ms / 988ms / 911ms / 1304ms / 1017ms
    median: 1017ms
    resource_initialized_moves median-near: 841ms
      resource_initialized_raw_alias_summaries: 28-42ms
      resource_initialized_i32_scalar_summaries: 347-393ms
      resource_initialized_raw_init_summaries: 113-131ms
      resource_initialized_function_checks: 242-288ms
    resource_owner_obligations: 50-57ms cluster / 441-516ms cluster

RPN bootstrap proof generation
  resource_static_check: 2771ms
  .neplproof size: 2,165,719 bytes

この checkpoint は初回 proof 生成を速くするものではなく、既存 proof を持つ cold process で
stdlib-heavy Resource proof を再利用するための永続 artifact 境界である。RPN の median は
resource_static_check 約 1.7s から proof-backed 約 1.02s へ下がったが、0.5 秒未満目標には
まだ届かない。残る主課題は owner obligation replay が全関数の dependency closure hash を毎回構築する
こと、i32 scalar stable entry replay が再計算より高い run を持つこと、bootstrap proof generation が
まだ秒単位であることである。次は owner obligation も initialized check と同様の pass-level snapshot /
bundled stdlib .neplproof preseed / proof template 化へ進める。

2026-06-02 の .neplproof pass snapshot checkpoint では、関数単位 stable entry map だけでなく、
stable key / fingerprint だけの replay snapshot を .neplproof payload に含めるようにした。
.neplproof schema は 2 へ上げ、古い artifact は header 互換性検査で拒否する。

保存する snapshot は summary 本体ではない。i32 scalar / raw-init / raw-alias の replay snapshot は
function fingerprint と stable cache key だけを持ち、final initialized check / owner obligation の
pass snapshot は function fingerprint と deferred counter だけを持つ。次回 compile では、現在 module の
namespace、関数順序、関数 local fingerprint、reverse dependency closure を照合し、さらに snapshot が
指す stable entry を現在の TypeCtx へ再投影できた場合だけ replay する。TypeId、Span、SourceMap、
diagnostic、final cell state、final owner state は保存しない。

この変更後の RPN proof-backed cold base は次の通りである。exact .neplcheck は無効化し、
.neplproof だけの効果を測っている。

RPN proof-backed cold base static check after pass snapshots
  bootstrap proof generation:
    resource_static_check: 3073ms
      resource_initialized_moves: 2312ms
      resource_owner_obligations: 637ms

  proof preseed resource_static_check:
    runs: 418ms / 420ms / 414ms / 416ms / 376ms
    median: 416ms
    resource_initialized_moves median-near: 236ms
      resource_initialized_raw_alias_summaries: 29-33ms
      resource_initialized_i32_scalar_summaries: 64-74ms
      resource_initialized_raw_init_summaries: 63-70ms
      resource_initialized_function_checks: 55-59ms
    resource_borrow_lifetimes: 26-30ms
    resource_effect_boundaries: 36-41ms
    resource_owner_obligations: 52-60ms

  native CLI wall-clock with exact check cache disabled:
    runs: 1040.5ms / 980.3ms / 1005.7ms / 918.5ms / 1003.7ms /
          927.2ms / 1003.0ms / 1001.9ms / 915.3ms / 921.1ms

trunk build 修正後に専用 proof cache directory を使って追加確認した 5 run では、
resource_static_check=363ms / 366ms / 379ms / 360ms / 398ms、中央値 366ms だった。
階層中央値付近は resource_initialized_moves=204ms、resource_initialized_i32_scalar_summaries=62ms、
resource_initialized_raw_init_summaries=58ms、resource_initialized_function_checks=51ms、
resource_owner_obligations=50ms である。

origin/main merge と release CLI 再ビルド後は compiler identity が変わったため、古い .neplproof
artifact は fail-closed に拒否された。新しい release binary 用に専用 proof cache を bootstrap し直した後の
preseed 5 run は resource_static_check=408ms / 359ms / 362ms / 361ms / 412ms、中央値 362ms である。

これにより Resource static check stage は 0.5 秒未満に入った。一方で native CLI の wall-clock は
process 起動、loader、typecheck、artifact I/O、host 側 overhead を含むためまだ 0.5 秒未満ではない。
次の base compile 改善は、bundled stdlib .neplmeta / .neplproof preseed、typecheck/interface
artifact、bootstrap proof generation 短縮、partial miss 用の OwnerReturnSummaryEntryV1 stable mirror に
分けて進める。

2026-06-02 の .neplproof no-op rewrite skip checkpoint では、preseed artifact が現在 compile で
そのまま有効だった場合に、同じ .neplproof payload を native CLI が毎回書き直す経路を止めた。
bootstrap、preseed reject、codec error、compatibility reject、conflict、usable entry なしの run は
従来どおり保存する。usable preseed があり、new stable entry store も recomputed stable work も無い場合だけ
store を省く。

RPN の verbose run では .neplproof preseed accepted=869 の後に
DEBUG: .neplproof store skipped because preseed artifact remained current が出た。これは .neplproof
の authority を変えるものではなく、host I/O と同一 file への競合窓を減らす policy である。

この checkpoint 後の RPN proof-backed native wall-clock は次の通りである。exact .neplcheck は無効化し、
.neplproof preseed だけを測っている。

RPN proof-backed native wall-clock after no-op rewrite skip
  no stage timing:
    runs: 1067.531ms / 964.44ms / 1048.574ms / 1118.6ms / 1051.188ms /
          1005.428ms / 1055.084ms / 1047.505ms / 1036.807ms / 1052.546ms /
          1087.151ms / 1057.379ms / 1015.738ms / 971.733ms / 964.974ms
    median: 1048.574ms

  stage timing enabled:
    wall-clock median: about 1155ms
    resource_static_check: usually 404-438ms
      resource_initialized_moves: about 188-274ms
      resource_owner_obligations: about 46-62ms
    resource_typecheck: usually 153-171ms

この結果から、無変更 .neplproof の再書き込みは不要 I/O として削れたが、RPN cold base の
wall-clock はまだ約 1 秒であり、0.5 秒未満目標には届かない。残る根本課題は loader / typecheck /
proof decode / process overhead を base compile 前から減らすことである。次の主経路は bundled stdlib
.neplmeta / .neplproof preseed と typecheck/interface artifact であり、.neplproof store policy
だけでは base compile 目標を満たせない。

2026-06-02 の RPN loader/process-directives checkpoint では、Resource static check が 0.4 秒前後へ
下がった後の native CLI wall-clock を分解した。NEPL_CLI_STAGE_TIMING=1 を追加し、
NEPL_COMPILE_STAGE_TIMING=1 と同じ run で CLI 外枠の loader_load、proof cache read、
check pipeline を測れるようにした。proof cache read は RPN で約 0.7-0.9ms しかなく、
支配点ではなかった。

一時的な loader 詳細計測では、loader_load 約 450ms のほとんどが load_file_tree で、
root examples/rpn.nepl の process_directives が約 401ms を占めた。これは import/prelude/include
された module body を親 module へ merge する際に directives / root.items / Module 全体を
clone していたこと、さらに stdlib-heavy program では body merge そのものが大きいことを示す。
詳細 loader timing hook は通常 run の固定費になるため残さず、測定結果だけをこの節に残す。

対応として、process_directives と provider-backed process_directives_with は、所有している
Module を分解して再構築する形にした。import/include した module の中身を親へ渡す処理は
append_loaded_module_contents にまとめ、#entry / #target / #indent の file-scoped directive を
親へ伝播しない既存仕様を維持した。さらに RPN は必要 dependency を明示 import しているため、
examples/rpn.nepl に #no_prelude を追加して default prelude の自動注入を避けた。

最終 release CLI で専用 .neplproof cache を bootstrap し直した RPN proof-backed run は次の通りである。
exact .neplcheck は無効化し、.neplproof preseed と loader/check pipeline の実時間を測っている。

RPN proof-backed native wall-clock after loader/process-directives cleanup
  stage timing enabled:
    wall-clock runs: 968.434ms / 960.807ms / 1024.325ms / 1012.376ms / 900.397ms
    wall-clock median: 968.434ms
    loader_load median: 421.186ms
    check_pipeline median: 539.710ms
      resource_typecheck median: 130ms
      resource_static_check median: 379ms
        resource_initialized_moves median-near: 214ms
        resource_owner_obligations median-near: 53ms
    proof_cache_read: about 0.7-0.9ms

  no stage timing:
    runs: 896.264ms / 999.762ms / 890.711ms / 971.797ms / 997.530ms /
          992.493ms / 994.404ms / 888.448ms / 945.789ms / 889.620ms /
          992.704ms / 950.586ms / 996.466ms / 958.770ms
    median: 965.283ms

この checkpoint でも 0.5 秒未満には届かない。resource_static_check は .neplproof により
約 0.34-0.39s まで下がっているため、次の大きい削減対象は loader_load 約 0.39-0.44s と
resource_typecheck 約 0.13-0.15s である。したがって次の主経路は、stdlib body merge と
依存先再 typecheck を避ける bundled stdlib .neplmeta / typed interface artifact である。

2026-06-02 の shallow arity path snapshot checkpoint では、RPN cold base の loader 側固定費をさらに
分解した。current HEAD 9e461fcf の独立計測では no-stage median 897.079ms、stage wall median
886.132ms、loader_load=383.927ms、check_pipeline=497.417ms、resource_typecheck=130ms、
resource_static_check=339ms だった。構造は前 checkpoint と同じで、.neplproof read は約 0.744ms
で支配点ではない。

shallow type arity preload の per-load cache は、これまで canonical path と source hash を key にしていた。
しかしこの cache は LoaderSessionCache と違い、1 回の loader traversal 内に閉じた snapshot cache である。
source hash を key に含めると、cache hit 判定のために同じ file を再度読み、hash を再計算する必要がある。
そこで canonical path だけを key にし、最初に観測した complete arity surface を同じ compile 内で再利用する
形へ変えた。長寿命 stdlib cache の source hash 境界は維持し、単一 compile 内だけを path snapshot として扱う。

merge 済み Module の per-load cache store clone を外す案も試したが、RPN 実測では loader_load が
約 0.39-0.40s へ悪化したため採用しない。現行 loader では imported_once だけで cache 効果を完全には
置き換えられない。

最終 release CLI で専用 .neplproof cache を bootstrap し直した RPN proof-backed run は次の通りである。

RPN proof-backed native wall-clock after shallow arity path snapshot
  stage timing enabled:
    wall-clock runs: 861.388ms / 934.839ms / 939.280ms / 937.742ms / 910.578ms
    wall-clock median: 934.839ms
    loader_load median: 370.406ms
    check_pipeline median: 542.679ms
      resource_typecheck median: 144ms
      resource_static_check median: 369ms
        resource_initialized_moves median-near: 211ms
        resource_owner_obligations median-near: 51ms
    proof_cache_read: about 0.6-0.7ms

  no stage timing:
    runs: 918.851ms / 828.838ms / 908.978ms / 915.552ms / 918.349ms /
          839.093ms / 896.248ms / 825.581ms / 905.472ms
    median: 905.472ms

この checkpoint は loader の小さい固定費削減であり、issue の完了ではない。既存 Web 実装には
.neplmeta store と MaterializedPublicSurfaceInput を使って dependency body merge を skip する
経路があるが、native CLI --check はまだ PublicInterfaceArtifactInputs::new(None, None, &[]) 固定である。
さらに現行 prepare path は選択された materialized callable の body が無い場合に
MaterializedFunctionBodyMissing で拒否する。RPN は stdlib callable を実際に呼ぶため、次の主経路は
check 専用の public interface + Resource proof summary 境界、または .neplobj body fragment 併用を
設計してから native CLI に接続することである。

2026-06-02 の raw-alias proof dependency / raw pointer identity filter checkpoint では、RPN cold base
を examples/rpn.nepl に固定し、cache に頼るだけでなく Resource summary 固定点の探索範囲そのものを
縮小した。raw pointer / raw identity return summary は、結果型が raw pointer alias または raw identity
projection を保持できる関数だけを worklist に入れる。scalar-only signature は除外するが、aggregate、
reference、box など、戻り値から raw identity が観測され得る carrier は残す。

raw-alias summary は、以前の checkpoint では .neplproof replay が再計算より高く、native disk-backed
経路で明示的に無効化していた。今回、raw-alias 用の dependency view を shared summary dependency から
分離した。raw-alias summary が実際に読むのは direct call と、同じ関数内に indirect call がある場合に
callable value として流れ得る関数だけである。単に function value を作るだけの facade / constructor
helper は raw alias summary を消費しないため、dependency closure hash と pass replay probe の対象から外せる。
この専用依存グラフにより、RPN の preseed run では raw-alias recomputation が 82 -> 0 になり、
以前の 590-640ms 台の replay 悪化は再現しなかった。そのため native disk-backed .neplproof でも
raw-alias stable entry collection を再有効化した。

最終 release CLI で専用 .neplproof cache を bootstrap し直した RPN proof-backed run は次の通りである。
exact .neplcheck は無効化し、.neplproof preseed と loader/check pipeline の実時間を測っている。

RPN proof-backed native wall-clock after raw-alias dependency filtering
  no stage timing:
    runs: 938.085ms / 930.487ms / 926.397ms / 931.507ms / 926.388ms /
          932.914ms / 872.149ms / 918.265ms / 925.630ms / 935.201ms
    median: 928.442ms

  stage timing enabled:
    wall-clock runs: 966.541ms / 955.479ms / 904.968ms / 943.314ms / 879.269ms
    wall-clock median: 943.314ms
    loader_load: 348.337-402.651ms
    check_pipeline: 522.908-569.938ms
      resource_typecheck: 128-145ms
      resource_static_check: 366-401ms
        resource_initialized_moves: 219ms near median run
          resource_initialized_raw_alias_summaries: 58ms
            raw_alias recomputations: 0, summaries: 40
            raw_alias relevant functions: 82
          resource_initialized_i32_scalar_summaries: 57ms
          resource_initialized_raw_init_summaries: 55ms
            raw_init relevant functions: 135
            raw_init dependency edges: 716
          resource_initialized_function_checks: 49ms
        resource_borrow_lifetimes: 24ms
        resource_effect_boundaries: 32ms
          raw_pointer recomputations: 88, summaries: 29
          raw_identity recomputations: 99, summaries: 36
        resource_owner_obligations: 52ms

この checkpoint は no-stage median を shallow arity path snapshot 後の 905.472ms から一気に下げるものでは
なかった。測定環境を揃えた直前 baseline では no-stage median 1013.481ms で、今回の final median
928.442ms は約 85ms の改善である。0.5 秒未満目標にはまだ届かないため issue は open のまま維持する。
残る支配点は loader_load 約 0.35-0.40s、resource_typecheck 約 0.13-0.15s、および
resource_initialized_moves 内の proof replay / final function check である。次は native CLI --check
を bundled stdlib .neplmeta / typed interface artifact に接続し、stdlib body merge と依存先再 typecheck を
避ける設計を進める。

2026-06-02 の RPN direct import / root source single-read checkpoint では、RPN cold base を引き続き
examples/rpn.nepl に固定し、cache に頼らない loader input surface の整理も行った。RPN は i32 の
add / sub / mul / eq / lt / gt だけを使うが、以前は core/math facade を import していた。
この facade は i32 以外の数値 module と int128 周辺まで広く引くため、benchmark source 側を
core/math/i32 の direct import に狭めた。これは compiler の 0.5 秒未満達成ではなく、代表 workload が
実際に必要とする dependency surface を明示する整理である。

loader 側では Loader::load が entry source を public module surface 作成用に一度読み、その後
load_file でもう一度読む経路をやめた。同じ canonical entry source を load_from_contents に渡すため、
root source の内容、SourceMap label、source capability policy は同じ snapshot にそろう。これは
数 ms 級の固定費削減にすぎないが、native .neplmeta pre-typecheck materialization へ進める前に
loader の entry snapshot 境界を単純にする変更である。

今回の測定では exact .neplcheck を NEPL_DISABLE_CHECK_CACHE=1 で無効化し、専用 .neplproof
cache を bootstrap した後の preseed compile を測った。check cache が有効な wall-clock では 2 回目以降が
18ms 台になったが、これは base compile ではないため比較値から除外する。

RPN proof-backed native wall-clock after direct i32 import and root single-read
  before this checkpoint on the same branch:
    no-stage median: 968.599ms
    stage median:
      execute_inner: 968.315ms
      loader_load: 380.185ms
      check_pipeline: 576.847ms
        resource_typecheck: 148ms
        resource_static_check: 394ms

  after direct i32 import and root source single-read:
    no-stage runs:
      953.505ms / 896.248ms / 894.861ms / 876.222ms / 865.402ms /
      924.871ms / 862.790ms / 872.495ms / 928.304ms / 867.538ms
    no-stage median: 885.542ms

    stage timing enabled:
      execute_inner median: 930.302ms
      loader_load median: 357.711ms
      check_pipeline median: 569.216ms
        resource_typecheck median: 141ms
        resource_static_check median: 396ms
          resource_initialized_moves median: 235ms
            resource_initialized_raw_alias_summaries median: 60ms
            resource_initialized_i32_scalar_summaries median: 62ms
            resource_initialized_raw_init_summaries median: 60ms
            resource_initialized_function_checks median: 50ms
          resource_borrow_lifetimes median: 27ms
          resource_effect_boundaries median: 34ms
          resource_owner_obligations median: 51ms

no-stage median は 928.442ms checkpoint から測定揺れ込みで 885.542ms まで下がった。ただし
loader_load はまだ約 0.36s、resource_static_check は約 0.40s 残っており、RPN cold base
0.5 秒未満には届かない。NEPL_LOADER_STAGE_TIMING=1 の詳細計測では、loader の支配点は引き続き
recursive process_directives と dependency body merge であり、read_file そのものではない。

このため、今回の変更は issue を閉じる根拠にはしない。次の root issue は
ISS-20260602T134118244Z-NATIVE-CHECK-SHOULD-USE-PRE-TYPECHEC-31F9C9CD
として分離した。native CLI --check は、依存 module body を読み込む前に .neplmeta または同等の
typed public interface artifact を fail-closed に materialize し、stdlib body merge と依存先再 typecheck を
避ける必要がある。これは .neplproof の Resource summary preseed とは別の interface boundary である。

2026-06-02 の Resource op inventory checkpoint では、cache だけに寄らない探索範囲削減として、
Resource summary dependency graph の op tree 走査を統合した。以前は通常 summary dependency、
function-value call dependency、raw-init relevance の direct trigger 判定が近い木を別々に走査していた。
新しい ResourceFunctionOpInventory は、1 回の再帰走査で direct call、function value、indirect call、
raw initialization summary trigger を集める。これは proof key や summary value を再利用する変更ではなく、
同じ ResourceModule から導ける compile-local view の重複計算を減らす変更である。

examples/rpn.nepl の比較では、別 worktree の main と現在 branch を同じ release binary 条件で測った。
NEPL_DISABLE_CHECK_CACHE=1 で exact .neplcheck は無効化している。proof cache も無効化した true cold 寄りの
Resource 再計算では、中央値が次のようになった。

RPN proof-disabled native stage median
  main:
    execute_inner: 2309.319ms
    loader_load: 400.730ms
    check_pipeline: 1911.687ms
      resource_initialized_moves: 1174ms
      resource_initialized_function_checks: 508ms
      resource_static_check: 1753ms

  Resource op inventory branch:
    execute_inner: 2232.829ms
    loader_load: 391.132ms
    check_pipeline: 1853.580ms
      resource_initialized_moves: 1127ms
      resource_initialized_function_checks: 491ms
      resource_static_check: 1695ms

一方で、専用 .neplproof を bootstrap した proof-backed no-stage wall-clock は、main median
905.280ms に対して同 branch median 927.817ms であり、通常 base の wall-clock 改善とは
まだ言えない。つまり今回の変更は true cold 再計算の重複走査を少し減らしたが、RPN の通常 base を
0.5 秒未満へ進める主経路ではない。

同じ調査で、parse_u128_radix_digits_from の ResourceOp::Branch / Loop / Match が
incoming_paths=0 でも約 90ms を占めることを確認した。これは path-sensitive replay の指数増殖ではなく、
制御構造内で CellTable、raw alias、collection slot、function alias、pending realloc、
variant initialization table を clone / merge する固定費である。ただし、branch / loop の入口 state を
単純に mem::take で move する試行、Copy 型 exact initialized fast path の試行はいずれも RPN 実測で
改善しなかったため採用しない。次に触るべき根本は、表ごとの touched set を事前に持つ control-subtree
effect mask、または CellTable / alias table の線形探索を stable place index へ変える設計である。

2026-06-03 の RPN i32 decimal parser checkpoint では、cache に頼らない探索範囲削減として、
to_i32 の 10 進 parser を to_i32_radix -> to_i64_radix -> to_i128_radix -> parse_u128_radix_digits_from の汎用経路から切り離した。RPN は 10 進 i32 token だけを読むため、
to_i32 は i32 の範囲だけを直接検査する private helper を使う。to_i32_radix、to_i64_radix、
to_i128_radix、to_u128_radix の public API と radix 付き挙動は変更しない。

新しい parse_i32_decimal_digits_from は、正数は正の accumulator、負数は負の accumulator へ累積する。
これにより -2147483648 を正しく受理しつつ、正の 2147483648 は更新前の境界検査で拒否できる。
この変更は runtime micro optimization ではなく、RPN cold compile が到達する Resource IR 関数集合から
u128 / i128 の大きい digit parser と補助関数群を外すことを目的にする。

同じ checkpoint では、std/stdio/ansi/print の print_style_start を ansi_text_style_code の
連結済み str 生成から field ごとの direct print へ変える試行も行った。しかし、到達関数は
226 kept=223 から 223 kept=220 へ減った一方で、RPN median は悪化した。直接 print は escape
code ごとの print 呼び出しを増やし、raw-init / final function check の固定費を上げるため採用しない。

測定条件は Windows native release CLI、target\release epl-cli.exe --check -i examples\rpn.nepl --target std --stdlib-root stdlib、NEPL_COMPILE_STAGE_TIMING=1、
NEPL_DISABLE_CHECK_CACHE=1、NEPL_DISABLE_PROOF_CACHE=1 である。専用 .neplproof や exact
.neplcheck による短絡は除外した。

RPN proof-disabled native stage median before i32 decimal parser split
  wall elapsed: 3213.144ms
  execute_inner: 3201.811ms
  loader_load: 387.616ms
  check_pipeline: 2749-2787ms
    resource_typecheck: 126-242ms
    resource_static_check: 2517ms
      resource_initialized_moves: 2001ms
        resource_initialized_i32_scalar_summaries: 211ms
        resource_initialized_raw_init_summaries: 782ms
        resource_initialized_function_checks: 957ms
      resource_owner_obligations: 387ms
  reachable Resource functions: 271, kept 268

RPN proof-disabled native stage median after i32 decimal parser split
  wall elapsed: 2645.443ms
  execute_inner: 2633.789ms
  loader_load: 334.529ms
  check_pipeline: 2294.467ms
    resource_typecheck: 116-117ms
    resource_static_check: 2159ms
      resource_initialized_moves: 1737ms
        resource_initialized_i32_scalar_summaries: 187ms
        resource_initialized_raw_init_summaries: 708ms
        resource_initialized_function_checks: 820ms
      resource_owner_obligations: 334ms
  reachable Resource functions: 226, kept 223

per-function timing では、変更前に parse_u128_radix_digits_from が final initialized check
207ms、raw-init summary 38ms で上位にいた。変更後は RPN 到達から外れ、代わりに
parse_i32_decimal_digits_from が final initialized check 142ms、raw-init summary 9ms になった。
全体として Resource 関数数は 45 減り、proof-disabled cold median は約 0.56s 短縮した。

まだ 0.5 秒未満には遠い。残る支配階層は eval_line final check、stdio read/write raw-init、
str_slice_result final check、Stack owner flow、loader の dependency body merge である。次の
cache-independent 候補は、str_slice_result の Result return path collapse を安全条件付きで入れること、
または stdio read/write の private raw buffer helper をさらに proof boundary 化することである。
Rust 側の全探索としては borrow_summary の fixed-point scan と owner summary の dependency graph
構築重複も残るが、RPN の現測定では borrow は 20ms 台であり、まずは支配的な Resource function body
shape と control merge 固定費を優先する。

2026-06-03 の RPN range scanner checkpoint では、cache に頼らない探索範囲削減として、
RPN tokenization から str_slice_result と str_trim を外した。to_i32_range を
stdlib/alloc/string/integer/parse.nepl に追加し、scanner が持つ line/start/end をそのまま
10 進 i32 parser へ渡せるようにした。これにより RPN の正常 token path は、token 用 str
確保、UTF-8 boundary check、Result str str の return path を Resource IR 上で証明しなくてよい。

to_i32_range は to_i32 と同じ i32 範囲検査を byte 範囲に適用するだけであり、radix 付き API や
u128 / i128 parser の挙動は変更しない。空範囲、- だけの範囲、範囲外、無効 digit、表現域外入力は
すべて Result::Err 1 へ畳み込む。RPN 側には tab / CR / 余分な空白を含む integration test を追加し、
trim を外しても ASCII 空白 separator の契約が維持されることを確認した。

同じ checkpoint では、string_search::str_range_eq と str_byte_is_ascii_space_at も RPN local
byte predicate へ置き換える試行を行った。到達関数は 217 kept=214 から 216 kept=213 へ 1 つ減ったが、
resource_initialized_raw_init_summaries が増え、resource_static_check 中央値も悪化したため採用しない。
関数数だけではなく、各関数 body の branch / raw-init / Result shape が Resource IR 探索量を決めるためである。

測定条件は前 checkpoint と同じ Windows native release CLI、
NEPL_COMPILE_STAGE_TIMING=1、NEPL_DISABLE_CHECK_CACHE=1、
NEPL_DISABLE_PROOF_CACHE=1、target\release epl-cli.exe --check -i examples\rpn.nepl --target std --stdlib-root stdlib である。

RPN proof-disabled native stage median after range scanner
  loader_load: about 305ms
  resource_typecheck: about 102ms
  resource_static_check: about 1753ms
    resource_initialized_moves: about 1366ms
      resource_initialized_i32_scalar_summaries: about 178ms
      resource_initialized_raw_init_summaries: about 638ms
      resource_initialized_function_checks: about 528ms
    resource_owner_obligations: about 303ms
  reachable Resource functions: 217, kept 214

No-stage wall-clock with exact/proof cache disabled:
  median: about 2078ms

直前の i32 decimal parser checkpoint の中央値は resource_static_check=2159ms、
resource_initialized_moves=1737ms、resource_initialized_function_checks=820ms、
reachable 226 kept=223 だった。今回の range scanner により、Resource static check はさらに
約 0.4s、final initialized function checks は約 0.29s 短縮した。依然として 0.5 秒未満には
届いていないため、次の root target は resource_initialized_raw_init_summaries の raw-init relevance /
control merge 固定費、stdio read/write raw buffer 境界、loader dependency body merge の typed interface 化である。

safety contract

• call graph が静的に閉じない場合は、performance より正確性を優先して conservative-all にする。
• raw memory boundary / compiler memory type capability / owner token capability は source hash と path に結び、別 source へ再利用しない。
• generic substitution 後の Resource IR summary は、type argument hash を key に含める。
• cache hit しても、diagnostics は現在の source map へ再投影できる span だけを表示する。
• release artifact の stdlib hash が local stdlib より古い場合は、bundled stdlib を使わず FS stdlib override に戻す。
• session が保持する bundled stdlib hash と local stdlib content hash が一致しない場合は、mtime に関係なく FS stdlib override に戻す。

関連 issue

• ISS-20260524T225852366Z-PER-PROGRAM-COMPILE-TIME-EXCEEDS-DEF-189918C5
• ISS-20260527T050120000Z-COMPILER-SESSION-STDLIB-PRECHECK-CACHE-A71E4C92
• ISS-20260531T073211850Z-EXPRESSION-SUBTREE-INCREMENTAL-QUER-A91F3C2D
• ISS-20260531T111205690Z-BINARY-INTERMEDIATE-ARTIFACTS-NEEDED-1C570649
• ISS-20260601T193116311Z-NEPLMETA-TRAIT-IMPL-MATERIALIZER-NEEDED-D3A0C2F1
• ISS-20260601T145100000Z-NEPLMETA-FIELD-ACCESSOR-MATERIALIZER-NEEDED-4F6A0C2B
• ISS-20260601T150700000Z-NEPLMETA-CALLABLE-REJECT-NEEDS-FINE-GRA-9D4F2A61
• ISS-20260601T151600000Z-NEPLMETA-CALLABLE-ARITY-MISMATCH-BLOCK-5C8E2B91