Canopy開発日誌-7月
2026年7月のCanopy開発ログ。細かいPR単位の列挙よりも、作業の流れが追いやすいように要点だけを残す。
Canopyは、ソースコードを文字列ではなく構造（IR）として扱うエディタです。文字列を正として保ちつつ、そこから導出したプログラムの意味単位を直接操作することで、安全な構造編集やAI・複数人との協調作業がしやすくなります。
全体方針: MoonDsp / Canopy ecosystem vision
今月の大きな流れ
7月前半は、incrの破壊的なAPI境界整理（0.13.0→0.14.0）と、それに追従するloom・Canopyのpin更新が下敷きになった。中盤にloomgenが「手書きコード生成器」を自ら退場させ（emit_grammar.mbt削除）、interpretベースの文法解釈に一本化されたのが大きな節目。そして後半、CanopyにJSXという新しい言語ターゲットが生まれ、そこから「generative UI（GenUI）」という新しい実験――ストリーミングで届くLLMの出力を、構造的に妥当なJSXとして逐次パースし、差分reconcileでDOMへ反映する――が急速に立ち上がった。
- incr API境界整理: 0.13.0（互換API surfaceの一括削除）と0.14.0（ghost handle削除・InternTableのinterior-mutation修正・ReadErrorチャネル化）の2つの破壊的リリースが7月前半に続いた。
Expr[T]という遅延評価の数式レイヤーも生えた。 - incr_tea独立: TEAフレームワークが
examples/incr_teaから独立ワークスペースdowdiness/incr_teaへ切り出された。incr本体の安定性保証とは別に、実験場として位置づけ直された。 - Input::force_set reentrancy: MoonDspでの実デバッグ（
AcceptedDerived）から見つかった、reactive compute中のforce_setが再入伝播を起こす問題。ADR執筆→ガード実装→事後レビューでの訂正→ガード範囲の意図的な非拡張、という一連の流れが7/8-7/10に集中した。 - loomgenとGrammarIR: EBNF演算子（
~!@until{Sep}Token~>@error_node@native）が次々に追加され、7/10には手書きコード生成パスemit_grammar.mbtそのものを削除、interpretベースの文法解釈へ一本化された。後半はMarkdown向けのline-mode/line-patternレクサ生成に重心が移った。 - js_engine: for-await-of/非同期iteratorプロトコルの実装と100%達成、RegExp lookbehind、
cache-for-Xbuiltin install contractへのstdlib全面移行、埋め込み向けhost-object API、class private field/method/static block、そして月内2回目のリリース（v0.6.0）まで進んだ。 - CanopyのJSXとGenUI: 7/11にJSXの読み取り専用projectionが生まれ（Lambda/JSON/Markdownに続く4番目の言語ターゲット）、そこから数日でストリーミングJSXセッション、重複sibling識別子のreconcile修正、決定論的な非同期ドライバ、ブラウザ障害回復スライスと続き、7/15には「実プロバイダを繋ぐ実験」の設計書（kill date: 2026/7/29）が出た。
- Canopyのその他: 型付きEditError modelを3言語の編集層に展開、Ideal orchestrationをライブラリパッケージへ抽出、Lambdaの名前解決を
@scopeへ一本化、定数畳み込みミドルウェアを追加した同日に撤回するという設計判断も。 - MoonDsp: 目立った活動は少ないが、7/8の
AcceptedDerived実装がincrのforce_set調査の引き金になった。 - 作業運用: 6月に続き、Git log・agent session・project memoryの突き合わせで記録する運用が続いている。
2026/7/1
Canopy / Ideal UIリファクタとincr追従
Idealまわりの「レシピ化」リファクタが4件まとまった。
cx()joinヘルパー: ボタン・タブで繰り返す条件付きCSSクラス結合を切り出し、button/tabのレシピへ適用（#822）。ui/panel.mbt: パネルのクロムをPanelVariant{Default,Inspector}として抽出（#825）。ui/menu_item.mbt: action overlayの項目トーンをMenuItemTone{Normal,Danger}として抽出（#827）。rename_binding_by_id内の手書き宣言探索も共有ヘルパーへ整理（#821）。
incrがv0.12.0へ上がったのに合わせ、CanopyもSignal→Input、map_eq→mapへの追従移行を行った（#826）。6月末に完了したincr側のMemo→Derived移行とSignal削除の、Canopy側の受け皿になる。
loom / loomgenの入力形式拡張
loomgenに.loomgrammarという単独ファイル形式を追加した（#547）。これまでの#loom.ruleアノテーションと同じ規則本体記法を、MoonBitソースに埋め込まず独立ファイルとして書けるようにしたもので、アノテーション出力とバイト単位で一致することをdifferential testで確認している。
そのほかloomgen周りの細かい修正:
- アノテーション引数が不正なときに「アノテーションが見つからない」と誤報告していたバグを修正（#550）
- ホスト側コードへ再突入するための
Native(RuleName)というIR脱出ハッチノードを追加。HTMLのタグスタック照合のような文脈依存処理を生成された文法から呼び出せるように（#551） - lexer_skeleton.g.mbtのモードディスパッチ骨格生成器（#553）とCIツールチェーンのフォーマット差異修正（#552）
主なPR / Issue: canopy #821, #822, #825, #826, #827 / loom #547, #550, #551, #552, #553
2026/7/2
Canopy / CI障害の修復
前日の#820（moon.mod移行+E2E分離）で、web-buildステップのrun:行が誤って落ちていたことが判明した。- name:だけでrun:もuses:もないstepはGitHub Actions上でワークフロー全体が無効になる扱いになり、6/30以降の全CIが「0ジョブ実行」で失敗し続けていた。これをその日のうちに復旧した（#833）。あわせて監査駆動のクリーンアップも行い、未追跡docsの整理、3件の実行計画（typed EditError移行・ideal orchestration抽出・lambda名前解決統合）の追加、@wireに置き換えられ不要になったsync_protocol.mbt shimの削除を行った（#832）。
loom / incr pin整合とloomgenの初消費
前日のCI障害の原因はloom側のpinのずれにもあり、incr 0.11.0→0.12.0への追従とdeny-warnエラー修正を2段構えで行った（#566, #568）。.loomgrammarのヘッダー先読みにあった括弧深さのバグ（かっこの中のIDENT '='を次の規則のヘッダーと誤認する）も、複数エージェントによるレビューで見つけて直した（#555）。
lambda exampleが、loomgen --spec出力の最初の実コンパイル消費者になった（#558）。調査の結果、この件の当初の設計は誤った前提（結合enumがすでにloomgenの出力そのものであることに気づいていなかった）に基づいていたことが分かり、配線するだけで済んだ。lambdaのトークンenum重複も削除した（#567）。
主なPR / Issue: canopy #832, #833 / loom #555, #558, #566, #567, #568
2026/7/3
Canopy / 名前解決統合とtyped EditError
Lambdaの名前解決を@scopeへ一本化した（#839、#129を閉じる）。編集層に重複していた4つの関数（free_vars+collect_var_usages+init_ref_resolves+free_name_would_rebind_to）を、scope graphに対する1つのクエリreferences_outside_subtreeへ置き換え、scope.mbtから113行を削った。22件の差分テストで、旧free_varsとscope graphの結果が一致することを確認している。
編集層のエラーをString依存から型付きのEditError（12 variants）へ移す作業も、lambda・JSON・Markdownの3言語すべてとLanguageSpecの実行時契約、editor境界にまたがって完了した（#840）。Markdownのcompute_move_block.mbtが最も手間のかかる部分で、9個のprivateヘルパーと20以上のエラーパスを扱った。
Canopy / 定数畳み込みミドルウェアの追加と撤回
同じ日に、興味深い設計判断があった。EditMiddlewareパイプラインにFoldConstantsミドルウェアを追加し、Bop(_, Int(a), Int(b))のようなノードへのCommitEditを横取りして1+2を3へ畳み込む機能を入れた（#842）。ところが数時間後、これを撤回した（#843）。理由は、EditMiddlewareはguard（検証・アクセス制御・監査ログ）のためのものであり、AST変換のためのものではない、という原則に立ち返ったこと。破壊的な簡約をミドルウェアで行うと、CRDT履歴上のユーザーの元の式（1 + 2と書いた意図そのもの）が失われてしまう。この問題はすでにe-graph最適化器と評価annotationによって非破壊的に解決されている（ホバーで畳み込み結果が見える。ソーステキストは変わらない）。TODO §8にこの設計上の結論を書き残した。
Canopy / その他
大きめのPRとして、Idealのorchestrationロジックをexamples/ideal/main（6,008行・29ファイル）からライブラリパッケージへ抽出するStep 2-8を進めた（#845）。structural edit opからtree edit opへの変換をcompanionへ、scope annotationをlang/lambda/scopeへ、action context構築をlang/lambda/edits+companionへ、それぞれ移し、Rabbita/DOM/CodeMirrorの型がライブラリパッケージへ漏れていないことを確認した。
その他の小さな変更: outlineツリーの矢印キー押下ごとのナビゲーションパスをキャッシュし初回押下だけO（n）のDFSにする性能改善（#844）、ReconcileTraceEventの発行をreconcileパイプラインへ配線（#846）、37件の古い実行計画の整理（#849）、eg-walker/loomのsubmodule bump連鎖とそれに伴うLayoutコンストラクタの3引数化対応（#850, #851, #852, #853）。
incr / 0.13.0への布石とincr_tea独立
incrの互換API surfaceを一括削除する0.13.0破壊的リリースの実行計画が固まった（#341, #342）。ワークスペース境界とpinの整合をチェックする仕組み（#347, #348）も入った。
そして、TEAフレームワークをexamples/incr_teaから独立ワークスペースモジュールdowdiness/incr_teaへ切り出した（#349）。incr本体のfacadeだけをimportする形で34ファイルを移動し、識別ADR（#350）では、incr_teaはあくまで実験的なもので、公開もされておらず0.13.0の安定性保証の対象でもなく、Rabbitaの置き換えでもないと明記した。目的は、実際のUIワークロードでincrの公開facadeに圧をかけ続けること。
js_engine
前日直した§10.2.11 TDZ事前チェックの適用範囲を広げ、call/generatorの分割代入パラメータにも同様のTDZ検出を追加した（#484）。docs更新も（#483）。
loom / GrammarIRのAST-builder backend
grammar emitter向けにAST-builder backendを追加し（#573）、grammar-parityのfixture再生成と--regenerate-fixturesフラグ（#580）、rootという名前の規則が自動生成のエントリポイント関数と衝突し無限再帰を起こす問題のガード（#581）、pretty printerのflat_widthキャッシュによるO（1）Group判定（#572）が入った。
そのうえで、emit_grammar_module()を「レンダー前のASTを返す」形へ抽出し、脆いsource.contains()文字列チェックの代わりに構造的なderive(Eq)アサーションでテストできるようにした（#584）。ADR（#587）は、この文字列マッチングが抱えていた2種類の脆さを名指ししている。ひとつは@pretty.render_stringの出力がmoon fmtの期待と食い違う「フォーマット結合」、もうひとつはsource.contains("fn parse_foo")が「どこかにその部分文字列がある」ことしか保証しない「暗黙のアサーション」。golden-fileテストも同じレンダリング経路を通る以上この問題を共有するとして退け、snapshotテストも当時MoonBitのテストフレームワークにその基盤がなかったため見送っている。フォーマットカスケードのsubmodule bumpは、moon fmtがeg-walker内の必要なimport/aliasを削ってしまいcheck-strictを壊したため撤回した（#588）。
主なPR / Issue: canopy #839, #840, #842, #843, #844, #845, #846, #849, #850, #851, #852, #853 / incr #341, #342, #347, #348, #349, #350 / js_engine #483, #484 / loom #569, #572, #573, #580, #581, #584, #587, #588
2026/7/4
Canopy / Patch panelとincr 0.13.0追従
Ideal editorのPatch panelにStructuredChangeイベント表示を配線した（#854）。配線の過程で実バグも見つけた――build_projection_memosのreconcile_nodeが、trace_refがSomeのときは常にデフォルト（ヒントなし）のreconcileへ切り替えてしまい、トレース有効時にLambdaのヒントベース再構成が丸ごと無効化されていた。incr 0.13.0（loomより1日遅れ）への再pinも完了し、削除された名前を使っているコードがゼロだったためpinのみの変更で済んだ（#855、wasm-gc 3689/3689）。
そのほか、ReconcileTraceEvent発行のプロパティ/スナップショットテスト11件（130/130、#856）、PatchEntryごとのトレーススナップショット追加（Patch panelの履歴表示がその時点のdiffを正しく示すように、#859）、agent-memoryのdocsポリシー修正（#857）、#845のdoc-lag解消（#860）が続いた。
incr / 0.13.0破壊的リリース
issue 345の決定に基づき、互換API surfaceを段階的な非推奨化を経ずに直接0.13.0として削除した（#351）。TrackedCellはInputFieldへ、ReactiveはEagerDerivedへ、FunctionalRelationはMapRelationへ、Database/Readable traitは削除。moon bench --releaseのbefore/afterで検証し、pushホットパスは24%高速化、他の見かけ上の劣化はマシンノイズと確認した。
js_engine / regex性能とnative build修正、lookbehind実装
regex_searchの位置ループで発生していたタイムアウトを、候補位置スキャンの最適化で解消した（#485）。静的に絞り込める先頭文字（リテラル・文字クラス・最小回数>0の量指定子）を持つパターンでは、advance_to_candidateが一気に先へ進めるようになり、110万位置の非マッチスキャンが実質1回の走査に短縮された。moon build --target nativeがmoon clean後に壊れる問題も直し（#486）、decodeURI/decodeURIComponentのDontEnum属性とURIError検証を追加した（#492）。そして、RegExpのlookbehind assertion (?<=...)/(?<!...)をパーサー・マッチャー・キャプチャまで含めてフル実装した（#493、test262 20/20）。
loom / lex mode APIとdocs検証の強化
ParserContextにparser駆動のlex mode API（lex_mode()/set_lex_mode）を追加し、SwitchLexMode IRノードの前提を整えた（#589）。前日のincr 0.13.0リリースへの追従では、canopyより先にloomが動いた――loomのpinを0.13.0へ上げ、これをブロックしていたevent-graph-walkerのpin（moonc format-syncに追従できておらずFormat Checkを壊していた）を直し、example modulesとegglogの二重manifestまで含めたpin一掃を完了した（#590, #591, #592）。
大掛かりなdocs検証も入った（#594）。リンク切れやテスト件数の古い主張を修正し、check-docs.shのbaselineをゼロへ戻した（実は.claude/worktrees/という古いディレクトリへスキャナが迷い込み、27件の恒久エラーとして黙って固定されていた）。README Quick Startのコマンドを実際に実行するquickstart-check、.mbtiのドリフトを検出するmbti-check、検証不能な絶対統計値（“47個のテスト”のような表現）を禁じるdocsポリシーも新設した。loomgen側では、生成された出力が実際に@grammar APIに対してコンパイルできることを証明するGrammarIRのcompile-regression fixtureが入り（#597）、“derive don’t state”ポリシーの徹底（CLAUDE.mdの古いテスト件数コメント削除、ADR Statusの意味論明文化）も進んだ（#613）。
主なPR / Issue: canopy #854, #855, #856, #857, #859, #860 / incr #351 / js_engine #485, #486, #489, #492, #493 / loom #589, #590, #591, #592, #594, #597, #612, #613
2026/7/5
incr / 0.14.0リリースと Expr[T] の追加
前週の0.13.0に続き、「公開API境界の整理」を掲げた0.14.0リリースがこの日にまとまった。Phase 0としてInput::new等に#deprecatedを付け、Scope::watch(derived)でwatch作成・scope登録・初回読みを1回にまとめてGCの穴（初回読み前にRuntime::gc()すると上流グラフが掃かれてしまう）を塞いだ（#353）。Phase 1では、使われていないghost handle型（InputId[T]等）を削除し（#354）、その直後に見つかったinterior-mutationの穴――InternTableの可視性をpubに絞っても構造体リテラルの構築は防げるがフィールドの読み出しでは可変なArrayがそのまま渡ってしまい、外からtable.values.push(...)できてしまう――をMoonBitのフィールド単位privで塞いだ（#355）。Phase 2ではget_resultの戻り値をResult[T, CycleError]からResult[T, ReadError]へ変え、破棄済みinputへのアクセスがErr(Disposed(id))になるようにした（#357）。これらをまとめてv0.14.0としてリリースした（#358、7件の破壊的変更）。
リリース直後、Expr[T]という遅延評価の数式コンビネータ層（Track E）が入った（#359）。(price.expr() * quantity.expr()).derived(label="subtotal")のように演算子オーバーロードで式を組み立てられる。6月末のMemo→Derived移行以来ずっと残っていたissue 123を閉じた。
js_engine / 非同期イテレーションプロトコル実装
for await (... of ...)と非同期イテレーションプロトコル全体（Symbol.asyncIterator、%AsyncIteratorPrototype%、CreateAsyncFromSyncIterator）を実装した（#494）。ここから、仕様の隅を突く一連の修正が続いた。%AsyncFromSyncIteratorPrototype%を共有realm-ownedプロトタイプへ移し、ラップしたsync iteratorの.next()がPromiseを返す場合の.then()連鎖漏れを直し（async-gen-dstr 0/954→954/954、#495）、async generatorのyield*委譲が実は同期パスを使ってしまっていたバグを直し（#496）、チェーンしたpromiseがrejectしたときsync iteratorを先に閉じるcloseOnRejectionセマンティクスを追加した（50→70/76、#499）。sync側のyield*委譲にも独立したバグがあり、extract_iter_resultがgetterを経由せず直接プロパティを読んでいたため、getter経由の値取得やgetterが投げたエラーの伝播が仕様通りに動いていなかった（28→50/82、#501）。
loom / M16 EBNF演算子とベンチマークCI
@fragment束縛を実装し、手書きの@grammar.Expr断片を#loom.ruleから参照できるようにした（未束縛の参照には専用のMissingFragmentエラー、#615, #616）。incr 0.14への追従として@incr.Runtime::new()を@incr.Runtime()へ21箇所置き換えた（#617）。ParserContextにcontext-sensitiveな文法向けのヘルパー（current_node_kind、peek_index、finish_nodes_until）を追加し、テストを書く過程でfinish_nodeがnode_stackをpopし忘れていた実バグも見つけて直した（#619, #631）。
週次のベンチマークリグレッションジョブを新設した（#618）。設計の過程で2つの問題を先に潰した。ひとつは、コミット済みのbaselineが4か月古く、82件の「リグレッション」の大半が単なる環境ドリフトだったこと。もうひとつは、アイドル状態のマシンでも連続実行だけで65パーセンタイルの差が出ること――これは、最大3回の実行すべてで再現した場合だけリグレッションとして数える永続性フィルタで対処した。CIランナーの実測が開発機より一律2倍近く速いことも分かり、baselineを較正し直した（#621）。
examples/html/という実戦的なHTMLパーサーをloomgenで構築した（#625）。手書き相当のコードのうち、loomgenが生成できたのはトークン/spec enumなど約19%にとどまり、残り約62%は再帰下降やエラー回復といった手書きロジックのままだった、という実測が興味深い。M16として、Token~（Emit: 無ければ黙ってスキップ）、Token!（EmitOr: 診断+placeholder）、@until(Token)（ErrorUntil: 同期点まで読み飛ばし）という3つの新しいEBNF演算子を追加し（#632, #634, #639）、CSSパーサーの実例でこの3つすべてを検証した。
Canopy
実験的な単語ナビゲーション機能を追加した（#861）。moji側の生のUAX 29境界の上に、句読点やCJKの連なりを1単位として扱い、着地点をgrapheme境界へ吸着させるVS Code風の単語左右移動を実装した（「1か月以内に消える可能性が十分ある」実験扱い）。incr 0.14準備のためloom submodule pointerもbumpした（#870）。
主なPR / Issue: canopy #861, #870 / incr #352, #353, #354, #355, #357, #358, #359 / js_engine #494, #495, #496, #499, #501 / loom #615, #616, #617, #618, #619, #621, #625, #631, #632, #634, #639
2026/7/6
前日の続きが日付をまたいで収束した、比較的静かな一日。js_engineのsync yield*委譲修正が最後の30件を回収し、test262が**80/80（100%）**に到達した（#502）。get_optional_methodがデータプロパティしか見ておらずアクセサgetterを呼び出していなかったのが原因で、test262のpoisoned-getterパターンを踏んでいた。
loomでは、docs中のバッククォート @pkg.Symbol 表記をコミット済み.mbtiと突き合わせて検証するcheck-docs-symbols.pyを追加し（#633）、strict-LL（1）方式（orderd choiceではない）を採る決定を再確認する過程で、A?のようなnullableな選択肢が非空FIRSTを持つ場合のガード漏れ――生成されるAny → Failフォールバックが、文法上のε許容ケースを黙って実行時パースエラーへ変えてしまう――を見つけて直した（#638）。#loom.ident / #loom.literal / #loom.triviaにデフォルトのlexパターンを与え、よくあるトークン役割では明示的な#loom.pattern(...)を省略できるようにした（#641）。
主なPR / Issue: incr #359 / js_engine #502 / loom #633, #634, #638, #639, #641
2026/7/7
incr / whiteboxテスト移行とQuickCheck
kernel/engineのinternal/*パッケージにテストが一切なく、無関係なパッケージのwbtestファイルがカーネル変更のたびに揺れていた問題に対応し、テストファイルの一部をkernel/engineへ移すパイロットを行った（#360）。この過程で見つかった、Runtime::Runtimeとテスト側の手動ミラー初期化の重複を、単一のRuntimeCore::RuntimeCore()コンストラクタへ統合した（#361）。moonbitlang/quickcheckを導入し、ランダム化したpull/push操作の下で購読者の対称性・dispatch tableの整合・push到達可能性のゼロ/非ゼロゲートという3つの不変条件を検証するプロパティテストを追加した（#362）。さらに、push-Effectとバッチロールバックのパスも追加し、テスト自体をミューテーションテスト（意図的に本番コードを壊して赤くなることを確認してから戻す）で検証した（#363）。このプロセス自体が、構造的な不変条件だけでは見えないロールバックのバグと、push到達可能カウントの減算バグという2つの実バグを見つけている。
loom
lambda exampleを手書き文法から移行するための前提として、Pratt優先順位のEBNF記法（@prefix/@app/@prec/@skip）を@grammar.Expr::PrattApp/PrattBinaryへ落とすルールを追加した（#645）。HTML exampleのblackboxテストで、閉じタグが不一致（<div></span>）のときrecoveryが1文字も消費できず無限ループに陥るハングを、skip_until_progressへの切り替えで直した（#647）。
主なPR / Issue: incr #360, #361, #362, #363 / loom #645, #647, #648
2026/7/8
静かな一日だったが、翌日以降の伏線が2つ仕込まれた。incrでは、pull/push/Datalog-fixpointという3つの評価戦略の間の相互作用ルールを明文化するADRを書いた（#372）。ADR本文を読むと、単なる整理を超えた踏み込んだ決定が並んでいる。まずセルを「現在値だけに対して純粋（pure-of-current-values）」と「履歴依存（history-dependent）」の2種に分類し、前者だけがbackdatingや検証スキップといった透過的キャッシュの対象になれると定めた。この帰結として、Solid風にcreateMemo(prev => ...)のような形で前回値をすべてのcomputeへデフォルトで渡す設計は、キャッシュ層が観測可能になり透過性が静かに崩れるという理由で明示的に却下されている。履歴依存の状態が必要な場面にはmutキャプチャとAccumulatorという2つの逃げ道を認めつつ、fold/pairwiseという第一級プリミティブは「予約はするが今は作らない」とした。
型ではなく実行時に強制する理由も踏み込んで書かれている。handle分割（Reader/Writer）もtrait objectも、MoonBitのclosureが任意の環境をキャプチャできる以上、捕まえたwriterがcompute内でそのままコンパイルされてしまい、バグを型では防げない。context/tokenを渡すSalsa的な設計は本当に型で防げるが、全computeのシグネチャを作り直す必要があるため今回は却下、ただし「もしゼロから設計し直すなら」の第一候補として記録された。3つのエンジンを1つのRuntimeにまとめる理由も実装の都合ではなく、incr_teaのUI Watchがparserのmemoに依存し、moondspのeager foldがmemoを読むという、戦略をまたぐ依存辺が実在するからだと明記されている。ライブラリを分ければこのseamはユーザー空間の橋渡しコードへ移動するだけで、伝播基盤（revision・dirty marking・subscriber・batch・GC）を3重に複製することになる。最後にこのADRは、「fold engineが本当にpush側だけのleafとして実装できるか」「同種のバグが再発しないか」という2つの反証可能な予測を立てて締めている。このADRが、翌々日に入るforce_setの再入防止ガードの種になる。
もうひとつはMoonDsp。この期間で唯一のMoonDspへの変更として、MiniAuthoringPipelineに「最後に成功した文書」を保持するAcceptedDerivedチャンネルを追加した（#227、dowdiness/moondsp#184向けの「Phase 0リハーサル」）。このPRのeager foldが、parsed.get()→memo再計算→source_edit_base.set(current)という経路でincr内部の再入伝播を引き起こすことが、翌日のincrデバッグで判明する。根本原因の特定には4回の実装試行を要した、とADR自身が振り返っている。
主なPR / Issue: incr #372 / loom #650 / MoonDsp #227
2026/7/9
incr / force_setの再入安全化とL2 semantic oracle
前日のMoonDspデバッグで見つかった再入伝播の問題に対処した。tracking.stackの長さを見るガードを追加し、Input::force_setがreactive compute中に呼ばれたら中断するようにした（#373）。Codexと手動監査によるレビューでADRに5件の訂正が入り、実は強制ポイントが2か所（既存のphase遷移ガードと、今回追加したpull-compute側のガード）あることや、Datalog/fixpointの合法表の追加、on_changeの書き込みハザードの明記などが記録された（#374）。さらに、fixpointのルール本体やGCはtracking frameを持たずこのガードをすり抜けていたため、phaseそのものを見るガード（phase != Idleで中断）を追加して穴を塞いだ（#378）。ガードの適用範囲を「購読者のいない書き込みだけ」へ狭めることは、純粋性・検証負担の両面から明示的に却下し（#379）、代わりにmutキャプチャによる履歴依存状態というエスケープハッチをcookbookに書いた（#380）。
もうひとつの流れとして、「L2 semantic oracle」という新しいプロパティテスト層が生まれた。実際のRuntimeと、ランダムな操作列に対して素朴に全再計算する参照モデルを突き合わせるテストを追加し（chain/diamond/条件付き動的依存など7パターン、#381）、ReachableDerived[Int]にも拡張し（#382）、ネストしたバッチのcommit/rollbackを検証する状態機械プロパティテストも追加した（#383）。いずれもミューテーションテストで検証されている。
js_engine
IteratorCloseが、外側の完了がthrowのときにreturn()の戻り値へのIsObjectチェックをスキップし、元のThrowCompletionを優先するよう修正した（#503、§7.4.11）。realm prototypeのwbtestを集約するリファクタ（#508）と、2140行あったbuiltins_map_set.mbtを役割ごとに分割するリファクタ（#509）も入った。これは翌日から始まるcache-for-X移行の下準備になる。
loom
Markdownのインライン構文（強調のデリミタスタックアルゴリズム、文書全体にまたがるlink reference definition、対応の取れた括弧を要するlinkの宛先）は、derive(Eq, Debug)なPredが持てない可変なホスト状態を必要とするため、loomgenでは生成せず@nativeのまま残す、という恒久的な決定をADRに記した（#643）。これは「まだ手が回っていない」保留ではなく、明示的な「生成しない」決定だとADRは念を押している。理由は6月にCustom(fn)をIRから締め出した判断（#541）と同根で、強調のデリミタスタック処理も、文書全体を先に読んでから解決するlink reference definitionも、GrammarIrが「データだけ」であるという不変条件の中には収まらない。覆すとしたら、2つ目の言語が独立して同種のデリミタマッチングを必要とするようになるか、可変状態を持たずにderive(Eq, Debug)を保てる新しいプリミティブが設計されたときだけ、と再検討条件も明記されている。loomgenのターゲットはCommonMarkブロック部分集合のみで、インラインは対象外というのが最終的な線引きになる。examples/moonbitという新しいMoonBit言語のスケルトンパーサーが、block/if式（#654）、match式（#655）、MoonBit公式の優先順位表に沿ったPratt演算子式（#656）へと育った。@native(name)（手書きのホストparse関数を不透明な参照として文法に組み込む、#659）、GoalTokenSource（パーサーが指定した位置を指定した字句ゴールで再トークン化するオーバーレイ、#660）も入った。GoalTokenSourceは明示的にjs_engineの差分再パースパイプライン向けに書かれたもので、loomが将来JSも文法ホストの対象にする最初の具体的な証拠になる。@nativeが最後のChoice節にあるときはelse節として振る舞う仕様も追加した（#661）。
主なPR / Issue: canopy #871 / incr #373, #374, #378, #379, #380, #381, #382, #383, #384 / js_engine #503, #508, #509 / loom #643, #649, #651, #653, #654, #655, #656, #659, #660, #661
2026/7/10
incr / InputViewとScope::on_dispose
MoonBitのview構文（input[:]）を使った、読み取り専用の不変なInputViewを追加した（#385、#369を閉じる）。0.14.0リリース基準へ素直に再適用する形で入れ直し、trackedなget()とuntrackedなpeek()を区別した（#386）。マウント時に登録したリソースを、子→親の順で確実に1回だけ後始末するScope::on_disposeも追加した（#388）。
js_engine / cache-for-X migrationが本格化
builtinのconstructor/prototypeインストールをatomicかつrealm間で一貫させる「cache-for-X」契約の展開が始まった（#512）。Map/Setのiteratorスロットヘルパーをspec-neutralな共通コードへ抽出し（#510）、install_realm_pinned_builtin_constructorという、realm_proto_cacheの固定・constructorの.prototype凍結・env.def_builtinを1回で行うヘルパーをMap/Setに試験導入した（#511）。これは、手で分割してインストールしていたためrealmをまたいで静かにズレることがあった暗黙の不変条件を、明文化した契約に置き換えるもの。WeakMap/WeakSet（#513）、Array（#514、bagged-prototype版の契約も追加）と、対象ファミリーを順に移行していった。
loom / EBNF演算子の追加とemit_grammar.mbtの引退
EBNFの表現力が着々と広がった一日でもある: HTMLのlexerがscript/styleの内容を単なるTextとしてタグ付けしていた（parser側のRawTextLeaf分岐が死んでいた）問題をmode-awareなstep lexerで直し（#662）、宣言的なエラー回復のための@error_node(Kind, Token)構文（#663）、オプショナルなスキップトークンを消費してから必須トークンを要求するToken~>（ExpectSkip、#666）、差分再利用に向く区切り付きリストの{Sep}（separated-list、#667）を追加した。
しかしこの日いちばん大きな出来事は、手書きのコード生成パスそのものを丸ごと削除したこと（#672）。ベンチマークの結果、tree-walkingする@grammar.interpretが、フルパースでは生成コードよりわずかに遅い（約1.25倍）ものの、差分再パースではむしろ速い（浅いケースで0.95倍、深いケースで0.91倍）ことが分かり、生成コードパスと同等の性能に達したと判断された。emit_grammar.mbtの766行を削除し、mbt_ast.mbtを581行から90行まで削り、8個の未使用型・10個の未使用variant・死んだPretty実装を除去した。これは、loomgenが自身の存在理由の一部（「速いから生成コードを使う」）を検証で否定し、interpretベースへ一本化した節目になる。
もう一つ、incrの新しいforce_setガード（#373）が実際にバグを捕まえた例があった。LambdaのtypecheckパイプラインがDerived::recompute_inner実行中にInput::setを呼んでガードに引っかかり、propagation完了後のon_change境界へ同期処理を移す形で直した（#675）。
主なPR / Issue: canopy #873 / incr #385, #386, #388 / js_engine #510, #511, #513, #514 / loom #662, #663, #666, #667, #672, #675, #676
2026/7/11
Canopy / JSXという4番目の言語ターゲット
CanopyにJSXという新しい言語ターゲットが生まれた。Lambda/JSON/Markdownに続く4番目になる。JSX計画のPhase 1を締め、loomの新しいstreaming-prefix JSX文法を取り込んだ（#876）。そして、lang/jsx/projとして、CSTからProjNode[JsxNode]への読み取り専用projectionを実装した（#877）。既存の「言語追加手順書」通りに、@core.build_projection_memosやProjNode::leaf/branch、SourceMap::set_token_spanをそのまま再利用し、手組みの再構成ロジックを足さずに済んだ。Phase 2で要求されている「存在証明」テスト――単調に伸びていくJSXの断片（トークンの途中で切れたものも含む）を@loom.Parserへ流し込み、タグ名が確定した時点でNodeIdが安定することを確認する――も入れた。Codexによる実装後レビューが実バグを発見しており、未クローズの要素で自身の開始タグの>を閉じタグの>と誤認識してclose_bracketを記録していた問題を、3件のリグレッションテストとともに直した。まだ編集用のcompanionパッケージはなく、双方向編集はPhase 3へ持ち越しになっている。
js_engine / cache-for-Xの完了、host object API、private field
cache-for-X移行がPromise（#515）とboxed primitives（String/Number/Boolean/Symbol、#516）で完了し、6つあったinstall_realm_pinned_builtin_constructor_*亜種を1つの関数とpub(all) enum BuiltinCtorPrototypeInstallへ統合した（#520）。realm-proto walk/StdlibHooks/get_*_proto+prototype chainという3つの独立したbuiltinプロパティ検索機構の統合は、いまはあえて見送り、境界を図で明文化するにとどめた（#521）。
続けて、埋め込み利用者向けのhost-object APIを実装した(JSからは見えない不透明なHostSlotKeyのget/set/delete/has、メソッド・アクセサ・凍結データ・host slotを1回で組み立てるmake_host_objectファクトリ、embeddingの手引きまで、#522, #523, #524）。JSON.stringifyのProxy trapがstringify走査中に発火しない問題も直し（test262 55.2%→75.9%、#526）、そしてclass private field・private method・static blockをES2022仕様通り実装した（#527、2394テスト）。obj.#x = valという代入だけは翌日への持ち越しになった。
loom / GrammarIRプロパティテストとJSXの文法側
GrammarIRのプロパティテストが成熟し、複数規則+Ref対応と参照インタプリタによる相互検証（#679）、反例最小化のためのShrink実装（#682）、23個のExpr variant全体への再帰的Shrinkと診断メッセージの一致検証（#684、この過程で参照実装と実インタプリタのエラー文言の不一致を発見）が入った。
そして、CanopyのJSX計画に対応するloom側の文法として、streaming-prefix JSX文法exampleを実装した（#680）。モード切り替え式のlexer（Children/TagBody/JsExprRaw（depth））、文字列リテラルを意識した波括弧深さ追跡、HTMLの回復方針（診断はノード生成を妨げない、skip_until_progressを使う）を踏襲した再帰下降パーサーで、73/73テストが通った。作る過程でHTMLのparse_html_rootがRootNodeを二重に包んでいたバグも見つけて直した（#686）。
そのほかloomgen周りの小さな進展: #loom.recovery("sync")アノテーションでHTML/JSX/Lambdaの手書きis_sync_pointを生成コードへ移行（#690, #692）、@fragment参照ごとのpub let frag_<name>宣言自動生成（#693）、JSONのsyntax_kind.mbtをloomgen生成へ移す作業（#696）、ブロックレベルのトークンを行単位で生成する#loom.line_pattern（長らく開いていた#561を閉じ、後のMarkdown向けレクサ生成の布石になる、#698）。
incr
9個のワークスペースメンバーがincr 0.14.1のままだったのを0.14.2へ揃え、architecture-boundaryチェックの失敗を解消した（#389）。
主なPR / Issue: canopy #875, #876, #877, #878 / incr #389 / js_engine #515, #516, #520, #521, #522, #523, #524, #526, #527 / loom #679, #680, #682, #684, #686, #690, #692, #693, #696, #698
2026/7/12
前日仕上げたclass private fieldに、代入だけ残っていたobj.#x = valを実装した（PrivateMemberAssignノード追加、#532）。
そしてCanopyに、JSXの上に立つ**「generative UI（GenUI）」という新しい実験**が姿を見せ始めた。GenUIデモの安定化として3つのバグを直した（#885）。reset_jsx_stateがmoon.pkgのexportには残っているのにMoonBit側の定義が消えておりリンカが黙って落としていた問題、ストリーミング中の途中経過（<div><p>text</p>\n<のような断片）が空タグのElement回復ノードを生み、それがdocument.createElement('')のクラッシュにつながっていた問題（空タグのコンテナは透過的な回復殻として扱い、子要素を親へ昇格させる形で解決）、そしてプレビュー領域に強制していたCSSの枠線・パディングを外し、入力側のclass属性だけで見た目が決まるようにした問題。
このデモを支えるため、JSXのFFIセッションに所有権の契約を導入した（#887）。それまでモジュールレベルのグローバル1つに依存していたのを、セッションごとにパーサー・projection memo・DOM registry・revision counter・診断・破棄処理を持つ形へ変えた。
loomでは、#loom.line_modeのterm variantが未マッチ入力を同モード内の別レクサへ委譲できる#loom.fallback_lexを追加した（#703）。7/11の#loom.line_patternに続く、行指向レクサ生成の一歩。
主なPR / Issue: canopy #885, #887 / js_engine #532 / loom #703
2026/7/13
Canopy / GenUI入力の垂直スライス
GenUIの「入力」側を一気に押し進めた（#890）。リクエストのライフサイクル、固定チャンクでのリプレイ、制約付き候補検証、JSXのdry-run/commit回復を整え、JSXのDOMパッチ契約を凍結した。このPRの目玉は、GenUIで描画された出力を実際に使う最初の消費者として、Phase 4のホスト所有JSON/CSV Data Explorer（フィルタリング・選択保持・サマリー・詳細表示・アクセシブルなブラウザ契約）を追加したこと。「functional core, imperative shell」――データの導出は純粋に保ち、DOM/セッションの副作用は境界に閉じ込める――という分割が明示されている。
reconcileの核心的なバグも直した（#892）。同じkeyを持つ重複sibling（たとえば同じkeyのJSX子要素2つ）が、patch diff中に接頭辞安定な識別子を得られていなかった。core・JSX両方にリグレッションテストを追加し、生成されたJSXパッチ適用のQuickCheckカバレッジも足した。
js_engine / 監査からの改善計画実行
前日の「Improve skill」監査（commit 556952f）が出した6件の優先順位付き改善計画を、その日のうちに3件実行した。private memberのyield/await早期エラー検出漏れ（expr_has_yield/expr_has_awaitがPrivateMember/PrivateMemberAssign/PrivateIdentに再帰しておらず、(yield this).#xのような不正なパラメータデフォルトがパースを通ってしまっていた）を直し（#535）、JSON.stringifyがgetter・Proxy trap・Map/Set/Promiseのexpandoを無視して{}に固定していた問題を、@runtime.is_arrayという正準操作経由へ配線し直して解決し（#537）、CIのunit-testジョブを部分的なarchitecture-state-auditから完全なarchitecture-auditへ切り替えた（#538）。roadmapドキュメントも、async iteration・RegExp lookbehind・class privateがすでに出荷済みなのに未実装のまま書かれていた食い違いを直した（#536）。
incr
Scope::disposeがteardown effectを実行する前にscopeを閉じるようにし、再入時も子→cleanup hook→所有セルの順序と「1回だけ実行」を保証した（#391）。incr_teaのcontrolled DOMプロパティ（value/checked/disabled/selected）が、同一HTMLの高速パスをスキップする際に書き戻されず、無関係な再レンダー後にcontrolled inputの値がずれてしまう問題も直した（#393）。
loom / line-mode lexer生成の総仕上げ
#loom.patternと#loom.line_patternの共存を拒否するガード（#704）から始まり、生成したline_lexer.g.mbtを実際のMarkdown入力（LF/CRLF両方）へ流して動かす、最初のコンパイル・実行つき受け入れfixtureを追加した（#705）。line-modeヘルパーをlexer_skeleton.g.mbtのオーバーライドポイント経由で配線し（#706）、その後は生成コードが手書きコードを静かに壊さないことを証明するテストの塔を積み上げた。同一パッケージへのヘルパー書き込みを強制的に失敗させて確認するリグレッション（#707）、96ケースのQuickCheckプロパティ（#708）、独立したバイト精度オラクルと突き合わせるカスタムジェネレータ（#709）と続いた。ベンチマーク検出のポリシーも明文化した（#711）。
主なPR / Issue: canopy #890, #891, #892 / incr #390, #391, #392, #393, #397 / js_engine #534, #535, #536, #537, #538 / loom #704, #705, #706, #707, #708, #709, #711
2026/7/14
incr / 保持コストのベンチマークと「直さない」という決定
Duplixに着想を得た保持コスト（retention cost）のベンチマーク一式を追加した（#398）。放置された購読者・破棄し忘れたeagerセル・動的サブグラフの churn といった「後片付けを忘れたときのコスト」を28本のベンチマークで定量化した。数字が具体的で、たとえば同一rootでのpush経路は1,000件で24.3µs、10,000件で757.5µsまで伸びる一方、破棄・GC制御を入れると75-84倍安くなる。重要なのは、いくつかの問題を「まだ直っていない」と明記して締めたこと――一部の制御は完全にはフラットにならず、10,000件のケースは1,000件に比べて超線形になる。これに続くdocsで、以前の実行計画にあった「3つのresolver亜種が併存している」という前提が古く、実際は7/2の#839（Lambda名前解決の@scope統合）ですでに解消済みだったことを見つけて訂正した（#400）。
loom / speculativeからlookaheadへ
グラマー-as-dataのlambda回復が、生成された共有sync述語を使うようになり、パラメータの型注釈が壊れているときの診断とCST構造の対応が回復した（#714）。Markdownの純粋な先読み（checkpoint/restoreのペア）をParserContext::speculativeへ移行し（#715）、その直後にspeculativeという名前自体をlookaheadへ変更した（#717）。地味なリネームだが、これは翌々日の「structural prefix dispatch」に向けたAPI明確化の布石になる。ベンチマークの棚卸しも行い、105行あったbaseline-onlyの行をevent-graph-walkerの廃止分と確認し、実行結果は5件のしきい値超過をすべて計測ノイズと判定した（#713）。
主なPR / Issue: incr #398, #400 / loom #710, #713, #714, #715, #717
2026/7/15
Canopy / GenUIの現在地とkill date付きの次の実験
GenUIのブラウザ障害回復スライスを完成させた（#893、Playwright 14/14）。検証・dry-run・DOM適用・回復・「厳密に1回だけコミットされる」ことの証跡までを扱う。ただし、実プロバイダ（Gemini等）との接続はまだ含まれていないと明記されている――ここまではあくまで足場。決定論的な非同期ドライバも追加し（#894）、Promise/Abortの経路でchunk・final・プロバイダ失敗・キャンセル・遅延到着を処理し、プロバイダの直接rejectionでは該当する世代だけを確実に終端させつつ、すでに終了した世代からの遅れてきた結果は無視する。
そして、実プロバイダを実際に繋ぐための、削除可能な実験の設計書が出た（#897）。「プロバイダ/ネットワーク実装も資格情報の使用も、まだ何も認可しない」と明記された設計のみのドキュメントで、出発点は「構文的に妥当なcommitはvalueの証拠にならない」という一文にある。プロバイダはno-opや無意味なパネル、タスクを満たさない妥当なテーブルを返すこともでき、いまのレンダラーは検証済みのtable/filter/summaryノードを空の宣言的マーカーへ落とすだけで、実際に動くJSON/CSV Explorerはそれとは別の固定ホストUIとして存在している。この状態のままプロバイダを繋いでも、測れるのは「候補の形」であって「誰かが実際に使えるUI」ではない、という問題意識が全体を貫いている。
そのため、実プロバイダの前に「セッション所有の、1つだけの機能的projection」を証明することを前提条件に据えた。検証済みcandidateは構造だけを選び、信頼されたホストcontextがデータと操作状態を供給し、既存セッションのdry-run/commit/recovery境界がその可視Explorerを唯一のDOM所有者として持つ。検討して退けた代替案も明記されている――マーカーtreeと別のExplorerを同期させる案は、DOMツリーを2つ更新する分散トランザクションになり、focus/listener/custom-element効果をDOMスナップショットで巻き戻せないため却下。候補プログラムを描画せずスコアリングするだけの案は「人が使えるか」を証明できずkeep/delete判断を骨抜きにするため却下。ブラウザから直接Gemini APIを呼ぶ案は、APIキーをheaderへ移してもブラウザに露出する以上secretにならないため却下。汎用プロバイダインターフェースの設計も、1つのアダプタだけではrenderer非依存の不変条件を確立できないとして却下されている。バックエンドはGemini Developer APIのgemini-3.5-flashを固定し、ストリーミングではなく一括のスキーマ制約付きJSON生成、ローカル限定のsame-originプロキシ経由とすることまで具体的に定めている。3つの固定fixtureとブラインドな有用性評価、コスト/レイテンシの上限を課したうえで、2026/7/29という明確な継続/削除の判断日を設け、証拠が不十分ならDELETEをデフォルトとする、と念を押している。ここまでの流れを振り返ると、GenUIの正体は「ストリーミングで届くLLMの出力を、構造的に妥当性検証されたJSXとして逐次パースし、差分reconcileでDOMへ反映する」という実験であり、この時点ではまだプロバイダなしの合成データだけで組み立てられている。
これとは別に、Idealのapp層をモジュール化するリファクタも入った（#895）。明示的なroot reactive stateとaction-overlayパッケージの抽出に加え、共有JS FFI基盤を新しいリポジトリdowdiness/js_ffiとして切り出し、lib/dom-boundaryをCanopy本体から独立させた。
js_engine / v0.6.0リリース
コマンドのトークナイズ処理を、Test262 runnerとベンチマークツールで別々に実装されていたshlex_splitもどきから、1つの共有tokenize_commandヘルパーへ統一した（#539）。より大きな一手として、同じJSレルムを繰り返しのeval/call_json呼び出しにまたがって保持し続ける、永続的なroot-package Engineを追加した（#540、#242を閉じる）。これまでの一回限りのrun*facadeでは呼び出しのたびにインタプリタを作り直す必要があったが、embedderはこれで状態を保ったまま呼び出しを重ねられるようになった。JSON境界は厳密に保ち（可変なグローバルJSONもgetterも許さない）、明示的なmicrotask/timerのcheckpoint制御も持つ。そして、これらをまとめてv0.6.0としてリリースした（#541）。6/27の#476からここまでの全変更を含む。
incr
incr_teaの親子合成・意味的アイデンティティ・世代交代・リクエストの順序付けとリプレイを扱う、package-privateな機能的コアを追加した（#401）。256子のedit-to-flush p95が16,700µsのゲートに対し500/600/300µsで収まることを確認しつつ、公開Machine型や子ごとのreactive graphの追加は、2つ目の実利用が現れるまで意図的に見送るという判断を明記した。保持コストの残存分についても追加調査を行い、「まだ直さない」という結論を記録している（#402）。
loom
「structural prefix dispatch」の準備として、Markdownの候補コンテキストに応じたブロック再パーサー選択を整理した（#718）。これは#484のネイティブcode-span実装そのものではなく、その前段の準備。前日のspeculative→lookaheadリネームの成果を実際に使う形で、prefixを持つ構造ブロック（fence/quote）を所有root/blockquote/list-itemへ正しくルーティングし、CommonMarkの段落中断規則（インデントされたコードブロックには空行が必要、prefix付きのfence/quoteはcontainerの所有権を保つ）も直した。
主なPR / Issue: canopy #893, #894, #895, #897 / incr #401, #402, #403, #404 / js_engine #539, #540, #541 / loom #718
作業運用メモ
7月前半を振り返ると、incrの2度の破壊的リリース（0.13.0/0.14.0）がloomとCanopyのpin更新を連鎖させ、loomgenは自らの手書きコード生成パスを削って身軽になり、その空いた足場の上でCanopyのJSXとGenUIという新しい実験が急速に立ち上がった。GenUIは2026/7/29という明確なkill dateを持つ実験として設計されており、この日を境にCanopyが本当にLLM出力を直接構造編集の対象にする方向へ進むのか、それとも足場だけ残して畳まれるのかが見えてくる。