Canopy開発日誌-7月

2026年7月のCanopy開発ログ（日次記録）。月の要約は7月-まとめ。

ソースコードを構造（IR）として編集する MoonBit 製エディタ。概要はCanopyとは。

全体方針: MoonDsp / Canopy ecosystem vision

今月の大きな流れ

月全体の流れは7月-まとめにまとめた。以下は週次ヘッダと日付見出しによる作業記録。PR番号の一覧は文末のPR索引にある。GenUI の設計詳細は別記事。

7月第1週: incr破壊的リリースとloomgen拡張（7/1〜7/6）

週の始まりは地味だった——Idealの散らばった条件分岐をヘルパーへ集める「レシピ化」と、loomgenに.loomgrammarという単独ファイル形式を足す作業。ところが7/3に@scopeへの名前解決一本化と型付きEditError移行が同じ日に重なり、7/4と7/5でincrが0.13.0・0.14.0と二日連続で破壊的リリースを出す。地味な整理が、週の後半にかけて畳みかけるような密度に変わっていった。

2026/7/1

Canopy / Ideal UIリファクタとincr追従

Idealまわりの「レシピ化」リファクタが4件まとまった日になる。ボタンとタブで繰り返していた条件付きCSSクラス結合をcx()というjoinヘルパーへ切り出し、パネルのクロムをPanelVariant{Default,Inspector}として、action overlayの項目トーンをMenuItemTone{Normal,Danger}として、それぞれ抽出した。rename_binding_by_id内に埋め込まれていた手書きの宣言探索も、共有ヘルパーへ寄せている。個々は小さいが、同じ形の重複をあちこちから同時に剥がしていく日、という点では揃っていた。

incrがv0.12.0へ上がったのに合わせ、CanopyもSignal→Input、map_eq→mapへの追従移行を行った。6月末に完了したincr側のMemo→Derived移行とSignal削除の、Canopy側の受け皿になる。

loom / loomgenの入力形式拡張

loomgenに.loomgrammarという単独ファイル形式が加わった。これまでの#loom.ruleアノテーションと同じ規則本体記法を、MoonBitソースに埋め込まず独立ファイルとして書けるようにする変更で、アノテーション出力とバイト単位で一致することをdifferential testで確認している。

そのほかの修正は細かい。アノテーション引数が不正なときに「アノテーションが見つからない」と誤報告していたバグ、ホスト側コードへ再突入するためのNative(RuleName)というIR脱出ハッチノード——HTMLのタグスタック照合のような文脈依存処理を、生成された文法から呼び出せるようにする——、lexer_skeleton.g.mbtのモードディスパッチ骨格生成器、CIツールチェーンのフォーマット差異修正が続いた。

主なPR / Issue: canopy #821, #822, #825, #826, #827 / loom #547, #550, #551, #552, #553

2026/7/2

Canopy / CI障害の修復

前日のmoon.mod移行PRで、web-buildステップのrun:行が誤って落ちていたことが判明した。- name:だけでrun:もuses:もないstepはGitHub Actions上でワークフロー全体が無効になる扱いになる。気づかれないままだと6/30以降の全CIが「0ジョブ実行」で失敗し続けることになっていたはずで、その日のうちに復旧している。あわせて監査駆動のクリーンアップも行い、未追跡docsの整理、3件の実行計画（typed EditError移行・ideal orchestration抽出・lambda名前解決統合）の追加、@wireに置き換えられ不要になったsync_protocol.mbt shimの削除を済ませた。

loom / incr pin整合とloomgenの初消費

前日のCI障害の原因はloom側のpinのずれにもあった。incr 0.11.0→0.12.0への追従とdeny-warnエラー修正を2段構えで行っている。.loomgrammarのヘッダー先読みにあった括弧深さのバグ——かっこの中のIDENT '='を次の規則のヘッダーと誤認する——も、複数エージェントによるレビューで見つけて直した。

lambda exampleが、loomgen --spec出力の最初の実コンパイル消費者になった。調査してみると、当初の設計は誤った前提の上に立っていた。結合enumがすでにloomgenの出力そのものであることに、設計時点では気づいていなかったのだ。配線するだけで済んだのは、その勘違いに気づいたあとの話になる。lambdaのトークンenum重複も削除した。

主なPR / Issue: canopy #832, #833 / loom #555, #558, #566, #567, #568

2026/7/3

Canopy / 名前解決統合とtyped EditError

Lambdaの名前解決を@scopeへ一本化した。編集層に重複していた4つの関数——free_vars、collect_var_usages、init_ref_resolves、free_name_would_rebind_to——を、scope graphに対する1つのクエリreferences_outside_subtreeへ置き換え、scope.mbtから113行を削っている。旧free_varsとscope graphの結果が一致することは、22件の差分テストで確認した。

編集層のエラーをString依存から型付きのEditError（12 variants）へ移す作業も、この日に完了した。lambda・JSON・Markdownの3言語すべてとLanguageSpecの実行時契約、editor境界にまたがる範囲のうち、最も手間がかかったのはMarkdownのcompute_move_block.mbtだった。9個のprivateヘルパーと20以上のエラーパスを、ひとつずつString依存から剥がしていくことになる。

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 / その他

大きめの変更として、Idealのorchestrationロジックをexamples/ideal/main——6,008行・29ファイル——からライブラリパッケージへ抽出するStep 2-8を進めた。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で済ませる性能改善、ReconcileTraceEventの発行をreconcileパイプラインへ配線する変更、37件の古い実行計画の整理、eg-walker・loomのsubmodule bump連鎖とそれに伴うLayoutコンストラクタの3引数化対応。

incr / 0.13.0への布石とincr_tea独立

incrの互換API surfaceを一括削除する0.13.0破壊的リリースの実行計画が固まった。ワークスペース境界とpinの整合をチェックする仕組みも入っている。

TEAフレームワークをexamples/incr_teaから独立ワークスペースモジュールdowdiness/incr_teaへ切り出した。incr本体のfacadeだけをimportする形で34ファイルを移動している。識別ADRは、incr_teaがあくまで実験的なもので、公開もされておらず0.13.0の安定性保証の対象でもなく、Rabbitaの置き換えでもないと明記した。目的は一つ、実際のUIワークロードでincrの公開facadeに圧をかけ続けることだ。

js_engine

前日直した§10.2.11 TDZ事前チェックの適用範囲を広げ、call・generatorの分割代入パラメータにも同様のTDZ検出を追加した。docs更新も同日に入っている。

loom / GrammarIRのAST-builder backend

grammar emitter向けにAST-builder backendを追加し、grammar-parityのfixture再生成と--regenerate-fixturesフラグ、rootという名前の規則が自動生成のエントリポイント関数と衝突し無限再帰を起こす問題のガード、pretty printerのflat_widthキャッシュによるO(1) Group判定が同日に入った。

もう一つ、emit_grammar_module()を「レンダー前のASTを返す」形へ抽出し、脆いsource.contains()文字列チェックの代わりに構造的なderive(Eq)アサーションでテストできるようにする変更があった。この文字列マッチングには2種類の脆さがあったとADRは書く。ひとつは@pretty.render_stringの出力がmoon fmtの期待と食い違う「フォーマット結合」、もうひとつはsource.contains("fn parse_foo")が「どこかにその部分文字列がある」ことしか保証しない「暗黙のアサーション」。golden-fileテストも同じレンダリング経路を通る以上この問題を共有するとして退けられ、snapshotテストも当時MoonBitのテストフレームワークにその基盤がなかったため見送られている。フォーマットカスケードのsubmodule bumpは、moon fmtがeg-walker内の必要なimport・aliasを削ってしまいcheck-strictを壊したため撤回した。

主な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イベント表示を配線した。配線の途中で実バグを踏んでいる。build_projection_memosのreconcile_nodeは、trace_refがSomeのときは常にデフォルト（ヒントなし）のreconcileへ切り替わってしまい、トレース有効時にLambdaのヒントベース再構成が丸ごと無効化されていた。表示を作るための配線が、表示対象そのものの欠陥をあぶり出した形になる。incr 0.13.0——loomより1日遅れ——への再pinも完了し、削除された名前を使っているコードがゼロだったためpinのみの変更で済んでいる（wasm-gc 3689/3689）。

そのほか、ReconcileTraceEvent発行のプロパティ・スナップショットテスト11件（130/130）、PatchEntryごとのトレーススナップショット追加——Patch panelの履歴表示がその時点のdiffを正しく示すように——、agent-memoryのdocsポリシー修正、前日のIdeal orchestration抽出PRに残っていたdoc-lagの解消が続いた。

incr / 0.13.0破壊的リリース

issue 345の決定に基づき、互換API surfaceを段階的な非推奨化を経ずに直接0.13.0として削除した。TrackedCellはInputFieldへ、ReactiveはEagerDerivedへ、FunctionalRelationはMapRelationへ改名され、Database・Readable traitは削除されている。moon bench --releaseのbefore/afterで検証したところ、pushホットパスは24%速くなり、他の見かけ上の劣化はマシンノイズと確認できた。

js_engine / regex性能とnative build修正、lookbehind実装

regex_searchの位置ループで発生していたタイムアウトを、候補位置スキャンの最適化で解消した。静的に絞り込める先頭文字——リテラル・文字クラス・最小回数>0の量指定子——を持つパターンでは、advance_to_candidateが一気に先へ進めるようになり、110万位置の非マッチスキャンが実質1回の走査に短縮されている。moon build --target nativeがmoon clean後に壊れる問題も直し、decodeURI・decodeURIComponentのDontEnum属性とURIError検証を追加した。RegExpのlookbehind assertion (?<=...)・(?<!...)は、パーサー・マッチャー・キャプチャまで含めてフル実装している（test262 20/20）。

loom / lex mode APIとdocs検証の強化

ParserContextにparser駆動のlex mode API——lex_mode()・set_lex_mode——を追加し、SwitchLexMode IRノードの前提を整えた。前日の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一掃を完了した。

大掛かりなdocs検証も同じ日に入った。リンク切れやテスト件数の古い主張を修正し、check-docs.shのbaselineをゼロへ戻している。原因を辿ると、.claude/worktrees/という古いディレクトリへスキャナが迷い込み、27件の恒久エラーとして黙って固定されていたことが分かった。README Quick Startのコマンドを実際に実行するquickstart-check、.mbtiのドリフトを検出するmbti-check、検証不能な絶対統計値——「47個のテスト」のような表現——を禁じるdocsポリシーも新設している。loomgen側では、生成された出力が実際に@grammar APIに対してコンパイルできることを証明するGrammarIRのcompile-regression fixtureが入り、“derive don’t state”ポリシーの徹底——CLAUDE.mdの古いテスト件数コメント削除、ADR Statusの意味論明文化——も進んだ。

主な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()すると上流グラフが掃かれてしまう——を塞いでいる。Phase 1では使われていないghost handle型（InputId[T]等）を削除し、その直後に別の穴が見つかった。InternTableの可視性をpubに絞っても構造体リテラルの構築は防げるが、フィールドの読み出しでは可変なArrayがそのまま渡ってしまい、外からtable.values.push(...)できてしまう。MoonBitのフィールド単位privで塞いだのは、1つの脆弱性を直そうとしたら隣に別の脆弱性が控えていた、という流れになる。Phase 2ではget_resultの戻り値をResult[T, CycleError]からResult[T, ReadError]へ変え、破棄済みinputへのアクセスがErr(Disposed(id))になるようにした。これらをまとめてv0.14.0としてリリースしている。7件の破壊的変更を含む。

リリース直後、遅延評価の数式コンビネータ層Expr[T]——Track E——が入った。(price.expr() * quantity.expr()).derived(label="subtotal")のように演算子オーバーロードで式を組み立てられる機能で、6月末のMemo→Derived移行以来ずっと残っていたissue 123をようやく閉じている。

js_engine / 非同期イテレーションプロトコル実装

for await (... of ...)と非同期イテレーションプロトコル全体——Symbol.asyncIterator、%AsyncIteratorPrototype%、CreateAsyncFromSyncIterator——を実装した。ここから、仕様の隅を突く一連の修正が続く。%AsyncFromSyncIteratorPrototype%を共有realm-ownedプロトタイプへ移し、ラップしたsync iteratorの.next()がPromiseを返す場合の.then()連鎖漏れを直すと、async-gen-dstrは0/954から954/954まで一気に伸びた。async generatorのyield*委譲が実は同期パスを使ってしまっていたバグも直し、チェーンしたpromiseがrejectしたときsync iteratorを先に閉じるcloseOnRejectionセマンティクスを追加すると、50から70/76まで進んだ。sync側のyield*委譲にも独立したバグが潜んでいた。extract_iter_resultがgetterを経由せず直接プロパティを読んでいたため、getter経由の値取得やgetterが投げたエラーの伝播が仕様通りに動いていない。ここは28から50/82まで進んだが、まだ完走ではない。

loom / M16 EBNF演算子とベンチマークCI

@fragment束縛を実装し、手書きの@grammar.Expr断片を#loom.ruleから参照できるようにした。未束縛の参照には専用のMissingFragmentエラーを出す。incr 0.14への追従として@incr.Runtime::new()を@incr.Runtime()へ21箇所置き換え、ParserContextにcontext-sensitiveな文法向けのヘルパー——current_node_kind、peek_index、finish_nodes_until——を追加した。テストを書く過程で、finish_nodeがnode_stackをpopし忘れていた実バグも見つけて直している。

週次のベンチマークリグレッションジョブを新設した。設計の過程で、先に2つの問題を潰す必要があった。ひとつは、コミット済みのbaselineが4か月古く、82件の「リグレッション」の大半が単なる環境ドリフトだったこと。もうひとつは、アイドル状態のマシンでも連続実行だけで65パーセンタイルの差が出ること——これは、最大3回の実行すべてで再現した場合だけリグレッションとして数える永続性フィルタで対処した。CIランナーの実測が開発機より一律2倍近く速いことも分かり、baselineを較正し直している。

examples/html/という実戦的なHTMLパーサーをloomgenで構築した。手書き相当のコードのうち、loomgenが生成できたのはトークン・spec enumなど約19%にとどまり、残り約62%は再帰下降やエラー回復といった手書きロジックのままだった、という実測が興味深い。生成できる範囲の狭さが、そのまま次に何を演算子として足すべきかの地図になる。M16として、Token~（Emit: 無ければ黙ってスキップ）、Token!（EmitOr: 診断+placeholder）、@until(Token)（ErrorUntil: 同期点まで読み飛ばし）という3つの新しいEBNF演算子を追加し、CSSパーサーの実例でこの3つすべてを検証した。

Canopy

実験的な単語ナビゲーション機能を追加した。moji側の生のUAX 29境界の上に、句読点やCJKの連なりを1単位として扱い、着地点をgrapheme境界へ吸着させるVS Code風の単語左右移動を実装している——「1か月以内に消える可能性が十分ある」と明記された実験扱いだ。incr 0.14準備のためloom submodule pointerもbumpした。

主な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%に到達した。原因はget_optional_methodがデータプロパティしか見ておらずアクセサgetterを呼び出していなかったことで、test262のpoisoned-getterパターンをそのまま踏んでいた。

loomでは、docs中のバッククォート@pkg.Symbol表記をコミット済み.mbtiと突き合わせて検証するcheck-docs-symbols.pyを追加した。strict-LL(1)方式——ordered choiceではない——を採る決定を再確認する過程で、A?のようなnullableな選択肢が非空FIRSTを持つ場合のガード漏れも見つかっている。生成されるAny → Failフォールバックが、文法上のε許容ケースを黙って実行時パースエラーへ変えてしまう、というバグだった。再確認のつもりが実バグの発見になったのは、この週で何度目かのパターンでもある。#loom.ident・#loom.literal・#loom.triviaにデフォルトのlexパターンを与え、よくあるトークン役割では明示的な#loom.pattern(...)を省略できるようにする変更も入った。

主なPR / Issue: incr #359 / js_engine #502 / loom #633, #634, #638, #639, #641

7月第2週: 再入ガードとinterpretへの転換（7/7〜7/13）

7/8に書いた評価戦略ADRが、翌々日には具体的な契約に化ける。MoonDspのデバッグで見つかった再入は、7/9〜7/10でforce_setガードという形に落とし込まれた。同じ7/10、手書きのemit_grammar.mbtはベンチマークの数字に速さの根拠を奪われ、削除されてinterpretベースへ一本化する。週末にはJSXとGenUI実験が立ち上がり、静かな週が最後に加速していった。

2026/7/7

incr / whiteboxテスト移行とQuickCheck

kernel/engineのinternal/*パッケージにテストが一切なく、無関係なパッケージのwbtestファイルがカーネル変更のたびに揺れていた。この問題に対応し、テストファイルの一部をkernel/engineへ移すパイロットを行っている。その過程で、Runtime::Runtimeとテスト側の手動ミラー初期化が重複していることに気づき、単一のRuntimeCore::RuntimeCore()コンストラクタへ統合した。moonbitlang/quickcheckを導入し、ランダム化したpull/push操作の下で購読者の対称性・dispatch tableの整合・push到達可能性のゼロ/非ゼロゲートという3つの不変条件を検証するプロパティテストも追加している。さらにpush-Effectとバッチロールバックのパスも足し、テスト自体をミューテーションテスト——意図的に本番コードを壊して赤くなることを確認してから戻す——で検証した。この検証のプロセス自体が、構造的な不変条件だけでは見えないロールバックのバグと、push到達可能カウントの減算バグという、2つの実バグを見つけている。テストを整備するつもりが、テストの整備そのものがバグ発見の手段になった一日だった。

loom

lambda exampleを手書き文法から移行するための前提として、Pratt優先順位のEBNF記法——@prefix・@app・@prec・@skip——を@grammar.Expr::PrattApp・PrattBinaryへ落とすルールを追加した。HTML exampleのblackboxテストでは、閉じタグが不一致——<div></span>のような——のときrecoveryが1文字も消費できず無限ループに陥るハングが見つかり、skip_until_progressへの切り替えで直している。

主なPR / Issue: incr #360, #361, #362, #363 / loom #645, #647, #648

2026/7/8

変更件数は少ないが、翌日以降の作業につながる2つの更新が入った。incrでは、pull・push・Datalog-fixpointという3つの評価戦略の間の相互作用ルールを明文化するADRを書いている。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チャンネルを追加した。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中に呼ばれたら中断するようにしている。Codexと手動監査によるレビューでADRに5件の訂正が入り、実は強制ポイントが2か所——既存のphase遷移ガードと、今回追加したpull-compute側のガード——あったことや、Datalog・fixpointの合法表の追加、on_changeの書き込みハザードの明記が記録された。ガードを一つ足しただけでは終わらなかった。fixpointのルール本体やGCはtracking frameを持たず、このガードをすり抜けていたことが分かり、phaseそのものを見るガード——phase != Idleで中断——を追加して穴を塞いでいる。適用範囲を「購読者のいない書き込みだけ」へ狭める案も検討されたが、純粋性・検証負担の両面から明示的に却下された。代わりに、mutキャプチャによる履歴依存状態というエスケープハッチをcookbookに書いている。

もうひとつの流れとして、「L2 semantic oracle」という新しいプロパティテスト層が生まれた。実際のRuntimeと、ランダムな操作列に対して素朴に全再計算する参照モデルを突き合わせるテストを、chain・diamond・条件付き動的依存など7パターンで追加し、ReachableDerived[Int]にも広げている。ネストしたバッチのcommit/rollbackを検証する状態機械プロパティテストも入り、いずれもミューテーションテストで検証済みだ。

js_engine

IteratorCloseが、外側の完了がthrowのときにreturn()の戻り値へのIsObjectチェックをスキップし、元のThrowCompletionを優先するよう修正した（§7.4.11）。realm prototypeのwbtestを集約するリファクタと、2140行あったbuiltins_map_set.mbtを役割ごとに分割するリファクタも入っている。翌日から始まるcache-for-X移行の下準備という位置づけだ。

loom

Markdownのインライン構文——強調のデリミタスタックアルゴリズム、文書全体にまたがるlink reference definition、対応の取れた括弧を要するlinkの宛先——は、derive(Eq, Debug)なPredが持てない可変なホスト状態を必要とする。だからloomgenでは生成せず@nativeのまま残す、という恒久的な決定をADRに記した。これは「まだ手が回っていない」保留ではなく、明示的な「生成しない」決定だとADRは強調している。理由は6月にCustom(fn)をIRから締め出した判断と同根で、強調のデリミタスタック処理も、文書全体を先に読んでから解決するlink reference definitionも、GrammarIrが「データだけ」であるという不変条件の中には収まらない。覆すとしたら、2つ目の言語が独立して同種のデリミタマッチングを必要とするようになるか、可変状態を持たずにderive(Eq, Debug)を保てる新しいプリミティブが設計されたときだけ、と再検討条件も明記されている。loomgenのターゲットはCommonMarkのブロック部分集合のみで、インラインは対象外とするのが最終的な線引きになった。

examples/moonbitという新しいMoonBit言語のスケルトンパーサーが、block・if式、match式、MoonBit公式の優先順位表に沿ったPratt演算子式へと育った。@native(name)——手書きのホストparse関数を不透明な参照として文法に組み込む——、GoalTokenSource——パーサーが指定した位置を指定した字句ゴールで再トークン化するオーバーレイ——も入っている。GoalTokenSourceは明示的にjs_engineの差分再パースパイプライン向けに書かれたもので、loomが将来JSも文法ホストの対象にする最初の具体的な証拠になる。まだJS文法そのものは影も形もないが、この日の変更はその方向を指している。@nativeが最後のChoice節にあるときはelse節として振る舞う仕様も追加した。

主な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を追加した。0.14.0リリース基準へ素直に再適用する形で入れ直し、trackedなget()とuntrackedなpeek()を区別している。マウント時に登録したリソースを、子→親の順で確実に1回だけ後始末するScope::on_disposeも加わった。

js_engine / cache-for-X migrationが本格化

builtinのconstructor・prototypeインストールをatomicかつrealm間で一貫させる「cache-for-X」契約の展開が始まった。Map・Setのiteratorスロットヘルパーをspec-neutralな共通コードへ抽出し、install_realm_pinned_builtin_constructorという、realm_proto_cacheの固定・constructorの.prototype凍結・env.def_builtinを1回で行うヘルパーをMap・Setに試験導入している。これは、手で分割してインストールしていたためrealmをまたいで静かにズレることがあった暗黙の不変条件を、明文化した契約に置き換えるものだ。WeakMap・WeakSet、Array——bagged-prototype版の契約も追加——と、対象ファミリーを順に移行していった。

loom / EBNF演算子の追加とemit_grammar.mbtの引退

EBNFの表現力が着々と広がった一日でもある。HTMLのlexerがscript/styleの内容を単なるTextとしてタグ付けしていた——parser側のRawTextLeaf分岐が死んでいた——問題をmode-awareなstep lexerで直し、宣言的なエラー回復のための@error_node(Kind, Token)構文、オプショナルなスキップトークンを消費してから必須トークンを要求するToken~>（ExpectSkip）、差分再利用に向く区切り付きリストの{Sep}（separated-list）を追加している。

しかしこの日いちばん大きな出来事は、手書きのコード生成パスそのものを丸ごと削除したことだった。ベンチマークの結果、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ガードが実際にバグを捕まえた例があった。LambdaのtypecheckパイプラインがDerived::recompute_inner実行中にInput::setを呼んでガードに引っかかり、propagation完了後のon_change境界へ同期処理を移す形で直している。7/9に作ったばかりのガードが、翌々日には早速仕事をした。

主な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文法を取り込んだ。lang/jsx/projとして、CSTからProjNode[JsxNode]への読み取り専用projectionを実装している。既存の「言語追加手順書」通りに@core.build_projection_memosやProjNode::leaf・branch、SourceMap::set_token_spanをそのまま再利用でき、手組みの再構成ロジックを足す必要はなかった。手順書があること自体が、4番目の言語を足す作業を単純作業に近づけている。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、boxed primitives——String・Number・Boolean・Symbol——で完了し、6つあったinstall_realm_pinned_builtin_constructor_*亜種を1つの関数とpub(all) enum BuiltinCtorPrototypeInstallへ統合している。realm-proto walk・StdlibHooks・get_*_proto+prototype chainという3つの独立したbuiltinプロパティ検索機構の統合は、いまはあえて見送り、境界を図で明文化するにとどめた。すべてを一度に片づけない判断も、この移行の一部になる。

続けて、埋め込み利用者向けのhost-object APIを実装した。JSからは見えない不透明なHostSlotKeyのget・set・delete・has、メソッド・アクセサ・凍結データ・host slotを1回で組み立てるmake_host_objectファクトリ、embeddingの手引きまでを含む。JSON.stringifyのProxy trapがstringify走査中に発火しない問題も直し、test262は55.2%から75.9%まで伸びた。class private field・private method・static blockをES2022仕様通り実装した——2394テスト——が、obj.#x = valという代入だけは翌日への持ち越しになっている。

loom / GrammarIRプロパティテストとJSXの文法側

GrammarIRのプロパティテストが成熟し、複数規則+Ref対応と参照インタプリタによる相互検証、反例最小化のためのShrink実装、23個のExpr variant全体への再帰的Shrinkと診断メッセージの一致検証が入った。この過程で、参照実装と実インタプリタのエラー文言が一致していないことも見つけている。

CanopyのJSX計画に対応するloom側の文法として、streaming-prefix JSX文法exampleを実装した。モード切り替え式のlexer——Children・TagBody・JsExprRaw(depth)——、文字列リテラルを意識した波括弧深さ追跡、HTMLの回復方針——診断はノード生成を妨げない、skip_until_progressを使う——を踏まえた再帰下降パーサーで、73/73テストが通っている。実装の過程で、HTMLのparse_html_rootがRootNodeを二重に包んでいたバグも見つけて直した。CanopyがJSXを必要としたことが、HTML側の古いバグをあぶり出した形になる。

そのほかloomgen周りの小さな進展も続いた。#loom.recovery("sync")アノテーションでHTML・JSX・Lambdaの手書きis_sync_pointを生成コードへ移行、@fragment参照ごとのpub let frag_<name>宣言自動生成、JSONのsyntax_kind.mbtをloomgen生成へ移す作業、ブロックレベルのトークンを行単位で生成する#loom.line_pattern——長らく開いていたissueを閉じ、後のMarkdown向けレクサ生成の布石になる。

incr

9個のワークスペースメンバーがincr 0.14.1のままだったのを0.14.2へ揃え、architecture-boundaryチェックの失敗を解消した。

主な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ノードを追加している。

Canopyに、JSXの上に立つ「generative UI（GenUI）」という新しい実験が姿を見せ始めた。GenUIデモの安定化として3つのバグを直している。reset_jsx_stateがmoon.pkgのexportには残っているのにMoonBit側の定義が消えておりリンカが黙って落としていた問題。ストリーミング中の途中経過——<div><p>text</p>\n<のような断片——が空タグのElement回復ノードを生み、それがdocument.createElement('')のクラッシュにつながっていた問題は、空タグのコンテナを透過的な回復殻として扱い、子要素を親へ昇格させる形で解決した。プレビュー領域に強制していたCSSの枠線・パディングを外し、入力側のclass属性だけで見た目が決まるようにした問題。どれもデモを実際に動かしてみて初めて出てくる種類のバグだった。

このデモを支えるため、JSXのFFIセッションに所有権の契約を導入した。それまでモジュールレベルのグローバル1つに依存していたのを、セッションごとにパーサー・projection memo・DOM registry・revision counter・診断・破棄処理を持つ形へ変えている。

loomでは、#loom.line_modeのterm variantが未マッチ入力を同モード内の別レクサへ委譲できる#loom.fallback_lexを追加した。7/11の#loom.line_patternに続く、行指向レクサ生成の一歩になる。

主なPR / Issue: canopy #885, #887 / js_engine #532 / loom #703

2026/7/13

Canopy / GenUI入力の垂直スライス

GenUIの「入力」側を一気に押し進めた。リクエストのライフサイクル、固定チャンクでのリプレイ、制約付き候補検証、JSXのdry-run・commit回復を整え、JSXのDOMパッチ契約を凍結している。このPRの目玉は、GenUIで描画された出力を実際に使う最初の消費者として、Phase 4のホスト所有JSON/CSV Data Explorer——フィルタリング・選択保持・サマリー・詳細表示・アクセシブルなブラウザ契約——を追加したことだ。「functional core, imperative shell」——データの導出は純粋に保ち、DOM・セッションの副作用は境界に閉じ込める——という分割が明示されている。GenUIはまだ何も生成していないが、生成された後に何が起きるかの器は、この日で先に固まった。

reconcileの核心的なバグも直している。同じkeyを持つ重複sibling——たとえば同じkeyのJSX子要素2つ——が、patch diff中に接頭辞安定な識別子を得られていなかった。core・JSX両方にリグレッションテストを追加し、生成されたJSXパッチ適用のQuickCheckカバレッジも足した。

js_engine / 監査からの改善計画実行

前日の「Improve skill」監査が出した6件の優先順位付き改善計画のうち、3件をその日のうちに実行した。private memberのyield・await早期エラー検出漏れ——expr_has_yield・expr_has_awaitがPrivateMember・PrivateMemberAssign・PrivateIdentに再帰しておらず、(yield this).#xのような不正なパラメータデフォルトがパースを通ってしまっていた——を直し、JSON.stringifyがgetter・Proxy trap・Map/Set/Promiseのexpandoを無視して{}に固定していた問題を、@runtime.is_arrayという正準操作経由へ配線し直して解決している。CIのunit-testジョブも部分的なarchitecture-state-auditから完全なarchitecture-auditへ切り替えた。roadmapドキュメントは、async iteration・RegExp lookbehind・class privateがすでに出荷済みなのに未実装のまま書かれていた食い違いを直している。監査が、監査対象のドキュメントの古さそのものを暴いた格好だ。

incr

Scope::disposeがteardown effectを実行する前にscopeを閉じるようにし、再入時も子→cleanup hook→所有セルの順序と「1回だけ実行」を保証した。incr_teaのcontrolled DOMプロパティ——value・checked・disabled・selected——が、同一HTMLの高速パスをスキップする際に書き戻されず、無関係な再レンダー後にcontrolled inputの値がずれてしまう問題も直している。

loom / line-mode lexer生成の総仕上げ

#loom.patternと#loom.line_patternの共存を拒否するガードから始まり、生成したline_lexer.g.mbtを実際のMarkdown入力——LF・CRLF両方——へ流して動かす、最初のコンパイル・実行つき受け入れfixtureを追加した。line-modeヘルパーをlexer_skeleton.g.mbtのオーバーライドポイント経由で配線すると、その後は生成コードが手書きコードを静かに壊さないことを証明するテストの塔を積み上げる作業になる。同一パッケージへのヘルパー書き込みを強制的に失敗させて確認するリグレッション、96ケースのQuickCheckプロパティ、独立したバイト精度オラクルと突き合わせるカスタムジェネレータと続いた。ベンチマーク検出のポリシーも明文化している。

主な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

7月第3週: GenUI実験の迷走とLegible Instrumentへの転換（7/14〜7/20）

GenUIに7/29という判断日が付いた週。loomgenはMarkdown向けline-modeレクサ生成の総仕上げへ向かう一方、Codex・Ollamaを使った大掛かりなprovider比較実装が週の半ばで動き出し、そしてmainへ入らないまま終わる。代わって浮かび上がってきたのが”Legible Instrument”という意思決定ワークスペース型の設計だった。週の終わりには、web appそのものをfeatureごとに切り出すモジュール境界抽出も始まっている。

2026/7/14

incr / 保持コストのベンチマークと「直さない」という決定

Duplixに着想を得た保持コスト（retention cost）のベンチマーク一式を追加した。放置された購読者・破棄し忘れた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の@scope統合ですでに解消済みだった。

loom / speculativeからlookaheadへ

グラマー-as-dataのlambda回復が、生成された共有sync述語を使うようになり、パラメータの型注釈が壊れているときの診断とCST構造の対応が回復した。Markdownの純粋な先読み——checkpoint・restoreのペア——をParserContext::speculativeへ移行し、その直後にspeculativeという名前自体をlookaheadへ変更している。地味なリネームだが、翌々日の「structural prefix dispatch」に向けたAPI明確化の布石になる。ベンチマークの棚卸しも行い、105行あったbaseline-onlyの行をevent-graph-walkerの廃止分と確認し、実行結果は5件のしきい値超過をすべて計測ノイズと判定した。

主なPR / Issue: incr #398, #400 / loom #710, #713, #714, #715, #717

2026/7/15

Canopy / GenUIの現在地と kill date 付きの次の実験

GenUIのブラウザ障害回復スライスを完成させた（Playwright 14/14）。検証・dry-run・DOM適用・回復・「厳密に1回だけコミットされる」ことの証跡までを扱うが、実プロバイダ——Gemini等——との接続はまだ含まれていない。決定論的な非同期ドライバも追加し、chunk・キャンセル・遅延到着を処理する。

実プロバイダを繋ぐための、削除可能な実験の設計書も出た。出発点は「構文的に妥当なcommitはvalueの証拠にならない」という問題意識だ。2026/7/29を継続・削除の判断日（kill date）とし、証拠不十分ならDELETEをデフォルトとする。却下した代替案・実験スコープ・前提条件の詳細はGenUI実験の設計メモにまとめた。まだ何も分からない実験に、あらかじめ死に方を決めておく、という順番になっている。

これとは別に、Idealのapp層をモジュール化するリファクタも入った。明示的な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ヘルパーへ統一した。より大きな一手として、同じJSレルムを繰り返しのeval・call_json呼び出しにまたがって保持し続ける、永続的なroot-package Engineを追加している。issue 242を閉じる変更だ。これまでの一回限りのrun*facadeでは呼び出しのたびにインタプリタを作り直す必要があったが、embedderはこれで状態を保ったまま呼び出しを重ねられるようになった。JSON境界は厳密に保ち——可変なグローバルJSONもgetterも許さない——、明示的なmicrotask・timerのcheckpoint制御も持つ。これらをまとめてv0.6.0としてリリースした。6/27からここまでの全変更を含む。

incr

incr_teaの親子合成・意味的アイデンティティ・世代交代・リクエストの順序付けとリプレイを扱う、package-privateな機能的コアを追加した。256子のedit-to-flush p95が16,700µsのゲートに対し500/600/300µsで収まることを確認しつつ、公開Machine型や子ごとのreactive graphの追加は、2つ目の実利用が現れるまで意図的に見送るという判断を明記している。保持コストの残存分についても追加調査を行ったが、結論は前日と同じ「まだ直さない」だった。

loom

「structural prefix dispatch」の準備として、Markdownの候補コンテキストに応じたブロック再パーサー選択を整理した。ネイティブ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

2026/7/16

Canopy / GenUIの実験を「測れる価値」でゲートする

前日の設計書に続き、実プロバイダ実験を進める前提を1つずつ固めた。プロバイダ実験は測定可能な価値指標が出るまでゲートする方針を明文化し、設計レビューで浮かんだ懸念を閉じている。そのうえで、使い捨て前提のローカルLLM垂直スライスを追加した。実装はexamples配下に隔離し、モデル選定は事前登録、プロダクションビルドではスパイクそのものを隠す、という3段構えだ。「まず動くものを作る」より先に「捨てられる形で作る」ことを優先した設計になっている。

incr / incr_teaのcontrolled formとtyped spreadsheet

incr_teaでcontrolled reconciliationのコストを計測し、controlled form properties——value・checked相当のcontrolled入力プロパティ——を追加した。value・eventペイロードをneutralな形へ整理し直し、typed spreadsheetのincr_tea proofを拡張している。

js_engine / v0.6.0リリース

前日までの変更が、この日付でv0.6.0としてリリースされた。test262はPassed/Executedでstrict 90.6%・non-strict 90.1%——Passed/Discoveredだと約70%——、unit testは2,355/2,355。以降のPRはこのリリースを起点にした整理で、embedded runtimeのビジョンとロードマップを定義し、Stage 1埋め込み契約を文書化——CI検証も込みで——し、安定した埋め込みベンチマークのbaselineを整えている。

loom / structural prefix dispatchとMarkdown code span

7/15のlookaheadリネームを受けて、Markdownのブロック再パーサー選択を「候補コンテキストに応じたstructural prefix dispatch」へ整理する準備を進めた。正規化されたcode span解析、Markdown実行ロードマップのdocs化、surface rewriteをまたいでprojection identityを保持する変更も入っている。

主なPR / Issue: canopy #896, #897, #898, #899, #900 / incr #405, #406, #407, #408 / js_engine #541, #542, #543, #544, #545, #546, #547 / loom #718, #719, #722, #724

2026/7/17

Canopy / ローカルLLM feasibility studyと、宙に浮いたprovider比較実装

GenUI実験の「価値の証拠」を集める作業が本格化した。人間中心の知識環境を優先する方針ドキュメントを起点に、Ollamaで動くローカルLLMの技術的feasibility studyをまとめている。MoonBit側の準備コア・凍結candidate adapter・dry-run失敗のtest・v1/v2 2回の実行結果を記録した。生成的UIをドキュメントエンジンとして定義するdocs、外部コーディングエージェント——Codex等——がどこまで触ってよいかの境界を記録するdocs、プロバイダ比較ベンチマークの計画も同日に入っている。

この日のagent履歴を見ると、mainへ入らなかった作業もある。feat/genui-provider-comparison-implementationブランチで、Codex App Serverクライアント、fail-closedなプロセス分離、Ollamaとの比較オーケストレーション、credentialed smoke pathまで、30件近いコミットで作り込まれたが、このブランチはmainへマージされないまま残った。翌日以降、規模を絞った「1回だけの検証つきE2E」へ設計が寄っていく。

js_engine

v0.6.0で入った永続的root Engineが、同期的な失敗のあとも再利用できるかを検証するtestが動き始めた。マージは翌日にずれ込んでいる。

loom

projection identity計画をアーカイブした。

主なPR / Issue: canopy #901, #902, #903, #904, #905 / loom #725

2026/7/18

Canopy / provider実験の縮小と機会発見プロトコル

前日の大掛かりなprovider比較実装をmainへ入れる代わりに、スコープを絞った「最小provider E2E」を設計し、1回のプロバイダ試行だけをMoonBit経由でcommitする最小コマンドとして実装した。プロセスライフサイクルの分離やterminal outcomeの保存など、堅牢化のコミットが続く。実プロバイダ実験の次に何を試すかを決める「opportunity discovery protocol」も定義している。大きく作ってから捨てた翌日に、小さく作り直すという順番になった。

incr / ドキュメント整理と契約強化

incr_teaのProgram mount teardownをグローバルにし、Datalogのrelation-ruleライフタイムを強制する修正が入った。ドキュメント側では、保持ポリシーの明文化、バックログ統合、アーカイブ廃止——履歴はgitに残す方針へ——、リーダーの入口整理が一気に進み、CI action pinningの計画も固まっている。

js_engine

Engine再利用の同期失敗特性テストがマージされた。

主なPR / Issue: canopy #907, #908, #909 / incr #411, #412, #413, #414 / js_engine #548

2026/7/19

Canopy / Legible Instrument——GenUIのもう一つの方向

GenUIに、チャット的な自由記述UIとは違う方向が生まれた。旅程（itinerary）の意思決定を対象にした”Legible Instrument”——判読可能な道具——という設計方針を定義し、意思決定ワークスペースを実装、生成された旅程のidentity保持やインタラクション作法のdocsまで含めて仕上げている。「構文的に妥当」なだけでなく「何が起きたか読み取れる」ことを狙いに据えた実験で、7/17までのprovider比較のような「まずAPIを繋ぐ」方向とは対照的に、「表示の仕方」から入っていた。

incr / ドキュメント監査

“Audit project by improve”というそのままの名前のコミットで、プロジェクト全体のドキュメント監査を行った。bare file.md:lineリンクの検証、fixpointライフサイクルのdisposal契約整理と合わせ、完了済みplanのクローズが連日続いている。dataflowのretractable correctness spikeとその独立オラクル検証も入った。

loom

loomgenのpattern validatorをallowlistパーサーへ統一し、パターン解析の責務を分割し、正規表現キャプチャからトークンpayloadを抽出する変更が入った。emitter向けpre-mergeチェックリスト、grammar productionを行単位で分離する修正、named token-set predicateの生成も続いている。

MoonDsp

定数畳み込みを経てもruntime controlsが保持されるようにした。

主なPR / Issue: canopy #913 / incr #415, #416, #417 / loom #726, #727, #728, #729, #730, #731 / MoonDsp #228

2026/7/20

Canopy / GenUI semantic coreとwebの大規模モジュール化

GenUIのsemantic core Phase 0のfixtureを固め、PKEチャット——過去のagent履歴を素材にした独立プロトタイプ——を試作した。同日、examples/web全体のモジュール境界整理が一気に進み、Posts・Memo・JSON・Markdown・GenUI Possibilities・Lambdaの各featureをownership境界として抽出し、feature単位でスタイルシートの所有権も明示している。8件のPRにわたる作業で、GenUIだけでなくweb appそのものをfeatureごとに切り出す大規模リファクタが始まった。

incr

controlled textarea——input・selectと同様の扱い——、fixpoint disposal契約の整理、typed spreadsheetへの強いcommand境界追加が続いた。

主なPR / Issue: canopy #914, #915, #918, #919, #920, #921, #922, #923, #924, #925 / incr #418, #420, #421

7月第4週: web再構成とEGW認可（7/21〜7/27）

feature境界の抽出が一段落したところに、EGWコラボレーション基盤の認可切り替えとWaku（Reactフレームワーク）移行という、性質の異なる2つの大きな再構成が重なった週。loomはMarkdown強調記法のdelimiter-run所有権を巡る調査から、grammarのprogress・recovery契約整備へと進んでいく。

2026/7/21

Canopy

前日始めたweb feature境界抽出の続きになる。Resume relay、Lambda ast-grep relay、GenUI feature boundaryを切り離した。event-graph-walker依存を更新し、CodeRabbitのrate limitをgating対象から外している。

js_engine

release PRのメタデータゲートを自動化した。

主なPR / Issue: canopy #926, #927, #928 / js_engine #549

2026/7/22〜7/23

canopy本体は静かな2日間だったが、js_engineとloomでは並行して作業が進んだ。js_engineではEngineのcheckpoint失敗特性を洗い出し、microtask queueのポリシー遷移を独立したモジュールへ抽出し、Honoやdiagnosticsのゴールをまとめ、compat-tableのfeatureカバレッジ診断をCIへ追加している。

loomではMarkdownの強調記法まわりで「delimiter frontier」の回帰investigationを行い、クリーンなPRとして再構成した。続けて、継続判定（continuation decision）を素朴なbool判定から型付きのContinuationDecision・Handlerへ置き換える作業に着手し、root・setext・blockquote・list-itemの継続判定を順番に型付き化している。EGWとの統合をv0.5.0へ更新した。

主なPR / Issue: js_engine #551, #553, #555, #556 / loom #736, #737, #738

2026/7/24

Canopy / EGW認可基盤とprotocol v3

collaboration——複数人での同時編集——向けにevent-graph-walker（EGW）認可基盤を導入した。EGW・loomの境界を定義するdocsから始まり、EGW peer-syncのプロダクト化計画、wire非互換性の実証を経て、protocolをv3へ直接切り替えている。あわせてsyncのrecovery responseを正しいpeerへ紐づける修正、Markdown block editorでのsetext heading保持、モード切り替えをまたいだMarkdownブロック選択の復元も入った。Markdownの意味的identityブリッジ設計のスパイクもdocs化している。

incr / EGW認可へ

typed spreadsheetのcommitted stateをEGW認可経由にルーティングした。pure projection core・mutable adapter shellを分け、bootstrap・local・remote・resetの認可変更を1つのprojection経路と1つのouter Runtime batchへ通し、readback失敗・rollback・retry・reset・concurrent operationsなど15件の統合テストで確認している。Plan 013 Phase 3はここで完了したが、ブラウザ側はまだadapter前のbaselineのままだ。typed spreadsheetのcollaboration proof、deprecated trait呼び出しの整理も続いた。

loom

EGW・egraph・egglogの警告クリーンアップpointerを更新し、deprecated trait呼び出しの整理、生成された警告サイトの除去を行った。moon.mod世代のsubmodule群が一斉にEGW新版へ追従した1日になる。

主なPR / Issue: canopy #938, #941, #942, #943, #944, #945 / incr #422, #423, #424 / loom #740, #741, #742, #743, #744, #745, #748

2026/7/25

Canopy / 依存更新

event-graph-walker submoduleを更新し、Dependabotによる一連の依存更新——actions/download-artifact、actions/setup-node、vite、@ast-grep/cli、@tailwindcss/vite、ws、typescript、vitest、@types/nodeなど計9件——をまとめて取り込んだ。

incr / Cloudflare上のリアルタイムコラボレーション

GC-rootの記録をdisposal却下時にも保持するよう修正し、Cloudflare上でtyped spreadsheetのリアルタイムコラボレーションを構築した。Cloudflare Worker本体、room単位のrelay、admission policy、ブラウザ側WebSocketトランスポート、WorkerからSPAを配信する仕組み、別ブラウザコンテキストでの協調編集検証、websocket hibernation復帰、room capabilityの脅威モデルdocs、インシデント対応の運用docsまで、1つのPRとして23コミットにわたって作り込んでいる。sqliteベースのdurable object migrationをfree planで使う調整も入った。実験的なincr_teaの上に、いつの間にか実際に人が使える協調編集アプリが立っていた。

js_engine

stable Engineのdiagnostic契約を決定し、class privateフィールドへの代入演算子対応、継承されたsetterでprimitive receiverを保持する修正、Hono 4.12.31の受け入れfixture追加、構造化Engine diagnosticsの追加が入った。

loom / grammarのprogress/recovery契約

grammar（文法）のprogress契約とrecovery契約を強制する大きな変更が入った。同一カーソル位置でルールが再度呼ばれたときの検出ロジックはあったが、progress_ofがreferenceされたルールのsubtreeを参照のたびに丸ごと再展開しており、参照の深さに対して指数関数的にコストが増えていた——chainの深さ22で約1秒、26で65秒。生成された文法は兄弟位置間でfragmentを共有する形が多く、まさにこの形を踏み抜く。(rule slot, visiting path)をキーにしたmemo化で解消すると、深さ200・400でも即座にコンパイルできるようになった。cycle guardの結果を呼び出し元へ正しく伝播させる修正——guardが発火したのに「成功した」扱いになりHTMLが偽のclose tagを出していた——、repeat groupのreuseパスにもprogress契約を適用する修正、5箇所に重複していたprogress判定をrequired_progressへ集約する整理も同じPRに含まれる。複数のコミットが”Co-Authored-By: Claude Opus 5”としてクレジットされている。lex-mode境界のdocs整理も同日に動いた。

主なPR / Issue: canopy #946 / incr #426, #427 / js_engine #564, #566, #567, #568, #569 / loom #756, #758, #759

2026/7/26

Canopy / Waku移行の設計と実装着手

統一されたWaku（Reactフレームワーク）へのweb移行計画を文書化した。移行作業のリンクや、Waku側の機能パリティが揃うまでMini-MLを残す方針を明記している。計画だけで終わらず、同日中に実装へ着手した。dual Vite/Waku foundation、Waku Wrangler設定の分離、MoonBitプラグイン利用側の移行、Waku型契約の安定化までを1本のPRにまとめてmainへ入れている。Waku Demo Hubとルートのライフサイクルも構築し、Journeyページを/journeyへ移行した。Loom・Alga依存の更新や、孤立サロゲート文字列の扱いを揃える修正も入っている。

incr

spreadsheetデモのテーマをimpeccable themeへ整え、typed spreadsheetのcollaboration room UIとBlank semantics——空セルの意味論——を追加した。

js_engine

sloppy modeでのprimitive this値のボックス化、pending jobsのlookup特性の明文化、AST走査のcontainment traversal一元化、ES2015 early errorsの強制、格納されるゼロキーの正規化、host-owned JSONをEngineへ注入する機能、engine実行guardrail契約の決定、ArrayBufferのnew target観測タイミング修正——issue 205を閉じる——、strict blockでの関数宣言instantiation修正、String検索メソッドでのSymbol.match尊重、bound functionでのtarget prototype保持、for-of・iteratorの残存問題解消——issue 207を閉じる——、RegExp Unicodeエスケープとcase folding対応と、spec適合の修正が10件以上まとまって入った一日になる。

loom

json-settings authoring pipelineのベンチマークを追加し、opaqueなModeLexerのレシピをdocs化した。ParserContextのlex-mode API——7/10導入のlex_mode()・set_lex_mode——のライフサイクルを提案し、そのうえでAPI自体を削除している——breaking changeだ。structural prefix dispatchへの移行が進み、lex-mode APIが役目を終えたことを示す変更になる。6日前に足したばかりのAPIが、もう要らなくなった。

MoonDsp

Windows上でのスケジューラcrackle——音声プチノイズ——調査が入った。production-pathスケジューラのテスト追加、PCM診断の比較、Windows crackle harnessの追加と続き、調査結果をdocsに記録している。

主なPR / Issue: canopy #958, #980, #982, #983, #984, #985 / incr #428 / js_engine #573, #581, #582, #583, #584, #585, #587, #588, #589, #590, #591, #594, #595 / loom #761, #762, #763, #764

2026/7/27

Canopy / Waku移行が完了し、GenUIも/genuiへ

Waku移行を一気に完走させた。Posts、JSON editor、Markdown editor、Mini-MLとMemo、Session Resumeを順に/posts・/json・/markdownなどのネイティブWakuルートへ移している。GenUIも/genuiへ移行し、記録済みのproduction replayを保持する形で着地させた。実プロバイダとの生きた接続ではなく、記録済みのやり取りを再生する形で見せるという決定が、この移行の中で下されている。Waku Workerへの切り替え準備も同日に入った。

incr

spreadsheetのAIコンテキスト変換を一元化した。localityフォローアップの完了もdocsに記録している。

js_engine

モジュール名前空間のsuper代入とTDZ修正、private実行制御のコア追加、曖昧なmodule export伝播の修正、class・superの残存問題解消——issue 206を閉じる——、Proxyの内部操作をビルトインをまたいで正しくdispatchする修正——issue 577を閉じる——、milestone 6 baselineの更新、execution controlをdispatchへ配線する変更が続いた。

loom

ParserContextから削除済みlex-mode APIのdead private stateを除去し、parser駆動のrole spanをMarkdownへ追加した。7/11にJSXで先行した#loom.recovery系の生成パターンが、ここでMarkdownにも及んだ形になる。

主なPR / Issue: canopy #987, #988, #989, #990, #991, #993, #994 / incr #429 / js_engine #592, #593, #596, #597, #598, #599, #600 / loom #765, #766

7月第5週: Waku完了・v0.7.0・GenUI kill date（7/28〜7/31）

Waku移行を仕上げ、js_engineがv0.7.0を出す。7/29、あらかじめ決めておいたGenUIのkill dateが来たが、迎えてみると宣言すべきことは何も残っていなかった。月末はbtreeのCRDT実証実験とdiagnostics基盤の立ち上げで締めくくっている。

2026/7/28

Canopy / Waku移行の仕上げ

CloudflareのWaku deploy設定をWorkers Buildsへ移し、Waku preloadのリカバリ再読み込みを有限回に抑える修正を入れた。改善計画docsのPRもマージしている。

incr

決定論的なtyped spreadsheet explanations——「なぜこの値になったか」を説明する機能——を追加した。Rabbita explanation inspectorのDOM E2Eテストも入れている。

js_engine / v0.7.0リリース

release実装状況の同期、CLIバージョンメタデータの同期を経て、v0.7.0をリリースした——Koji Ishimoto氏がgithub-actions botと共著している。test262はPassed/Executedでstrict 91.3%・non-strict 90.7%、unit testは2,621/2,621。v0.6.0からの純増は+222 strict・+224 non-strict。構造化Engine diagnostics——run_diagnostic等、失敗の種類・フェーズ・操作・エンジン整合性・保留effect・pending jobsまで分類——、host-owned JSONのEngineへの直接注入、RegExp Unicodeモードのエスケープ検証とcase foldingが主な追加点になる。READMEをCI edition artifactから生成するよう切り替える変更も同日入った。

loom

roleが省かれる境界条件をpinするtest、agent向けのreadiness certification gateをCIへ追加する変更、先頭バックスラッシュのparityを保持する修正、emphasis backslash parityのカバレッジ追加が続いた。text-levelのbackslash escapeを完成させ、heading markerの形式——ATX・setext——を区別する破壊的変更も入っている。lowering元ソースの共有による高速化とregression gate、非BMP文字のescaped recoveryの扱い修正も同日入った。

主なPR / Issue: canopy #986, #995, #996 / incr #430, #431 / js_engine #550, #602, #603, #604, #613 / loom #462, #720, #747, #767, #768, #769

2026/7/29 — GenUIの kill date

7/15に設定したGenUI継続/削除の判断日を迎えた。mainブランチの履歴を見る限り、この日付を境にした明示的な「keep」または「delete」の宣言コミットは見当たらない。実態としては、7/17に作り込まれた大規模なCodex・Ollamaプロバイダ比較実装——feat/genui-provider-comparison-implementationブランチ、30コミット近く——はマージされないまま残り、代わって7/19の”Legible Instrument”（意思決定ワークスペースとしてのGenUI）と、7/27にWaku移行の一部として/genuiへ着地した「記録済みproduction replay」版が生き残った。判断日が来る前に、証拠不十分な部分は自然に淘汰され、証拠のあった部分だけが製品ルートとして残っていた、という形になる。

Canopy / btreeの締めとhint inertness

legacy Vite配信を廃止し、完了したWaku移行のdocsをアーカイブした。coreでは、適用対象を失ったstructural identity hintを無害化する修正が入っている。バッチの正味の効果が打ち消し合う編集——wrapしてunwrap——で、stale hintがunhinted pathより悪い結果——identityを失う——を生むことをまずtestでpinし、prop_unapplicable_hint_is_inertというプロパティ名を与えた。原因——LCS除外の判断がhintの「存在」ではなく「適用可能性」を見るべきだった——を特定してから直す、という手順を踏んでいる。複数のコミットに”Co-Authored-By: Claude Opus 5”のクレジットが付いていた。

新しく独立したdowdiness/btreeパッケージ——O(log n)の位置インデックスaccess・insert・delete・rangeを持つcounted B+ tree——のinvariant強化が始まった。min-degree演算の境界、非正のleaf span拒否、mutableな内部状態の隠蔽、insert境界の事前検証、root再初期化の禁止などをまとめて直している。

incr / loom

incrではbounded spreadsheet aggregate queries——集計クエリ——を追加した。loomでは前日分岐したfeat/markdown-escape-heading-laneブランチをマージし、event-graph-walkerを0.6.0へ更新している。強調記法——*・_——のデリミタランを誰が所有するかという設計判断を提案し、レビューを経て受理したうえで、private delimiter-run resolverのコア実装を追加した。7/22のdelimiter frontier investigationから始まった調査が、ここでようやく実装に入っている。

js_engine

releaseのcandidate manifest契約を確立し、post-parseの走査をスタックセーフにする修正を入れた。コールバリュー・文実行境界での「部分トランポリン」方式を採用したという設計判断も記録している。この日の変更は静かだが、月をまたいで大きく膨らむ話の最初の一歩になる。

主なPR / Issue: canopy #981, #997, #998, #1000 / incr #432 / js_engine #629, #632 / loom #770, #771, #773, #774, #775

2026/7/30

Canopy / CRDTの意図保存に関する実証実験

btreeのinvariant強化が続いた。空のinsert spliceの正規化、cumulative span overflowをatomicに拒否する修正、任意cardinalityのcallback spliceのバランス調整、cross-parent境界の正規化と、この日だけで4件のfixが入っている。0.2.0リリースノートの準備も始まった。

もっとも興味深いのは、Canopyのtext CRDTと編集レイヤー（operation layer）の意図保存能力を検証した実証実験だった。論文”Beyond Text Editing: Algebraic Manipulation of Source Code”（Pulo, ICSME 2026）のFig. 3を、Lambda言語上のCanopyで再現している。2つのレプリカが同じ基底から分岐し、片方はRename(msg -> message)（宣言と全使用箇所）、もう片方はMoveParam(msg, +1)（引数リストの入れ替え）を行う。text CRDTだけを見ると、両方のマージ順序で収束はするが、意図した意味のマージにはならず、パースは通るのに変数が2つunboundになる。対照実験としてdisjoint renameでは意図通りにマージされ、text層が「gitなら衝突と報告するはずの場面で、静かに違う意味へ収束する」ことを実証した。

続けて、実際に出荷されているoperation layer（lang/lambda/editsのTreeEditOp + compute_text_edit + scope-graphのcapture check）で同じシナリオを再生した。4つの予測を事前にpinしたうえで検証している。(1)確認: post-move状態へのRenameのreplayは意図通りのマージを生成する（free variable 0、text-CRDT基準では2）。(2)確認＋副産物の発見: Rename×SwapChildrenは操作として可換だが、比較の過程でshipped済みSwapChildrenのtrivia欠陥——=>の後のスペースが消える——を発見した。(3)確認: 同じペアをtext CRDT越しに見ると2つunboundになる。(4)予測より強く確認: operation層はRename(x->y)をCaptureViolationとして拒否するが、text層はそのまま適用して変数がすべて解決する（free variable 0）誤ったプログラムを生成する。capture失敗はafter-the-factの検出には映らず、operation時点のside conditionだけがそれを捕まえられる、という結論になる。

このほかWebのResume workbench paneを合成し直し、構造化パーサー診断のeditorスライスを計画し、order-tree境界正規化を更新し、Markdownの見出しspanをLoomトークンへ適合させた。

loom / CommonMark強調記法の統合

前日のdelimiter-run resolver coreを実際のCommonMark強調解決へ統合した。リスト相対のblockquote prefixの消費、HTML blockの終了ポリシーの共有化、emphasis oracleをhermeticにするtest、delimiter-heavy parserのベンチマークgate、checked canonical formatter——不正な出力をfail-fastで検出——が同日にまとまり、CommonMark実装が完成に近づいている。

主なPR / Issue: canopy #1009, #1010, #1026, #1028, #1030, #1032, #1033, #1041, #1043, #1046 / loom #776, #789, #790, #791, #792, #793

2026/7/31

Canopy / 診断（diagnostics）基盤の立ち上げ

月最終日は、構造化パーサー診断をeditorへ届ける基盤づくりに費やされた。構造化されたパーサー診断を保持するeditor側の修正、btreeのスカラー不変条件の証明、Markdownエディタchromeをレスポンシブかつ最小限にする変更、Cloudflareデプロイのビルド出力先を修正するCI fix、evidence-basedなUIレビュー手順のdocs化、diagnosticsの境界を決めるdocs、PR-ready validation順序を強制するchoreが入った。

そのうえで、source-awareな診断spanをeditorへ取り込み、source-backedなプレーンテキスト診断レンダラーを追加し、検証済みのdiagnostic fixを追加した。Lambdaのdiagnosticフィックスをeditorプロトコル経由で実際に適用できるところまで仕上げている。診断を「表示するだけ」から「その場で直せる」機能へ一段引き上げて、7月の作業は終わった。

loom / 診断spanとCommonMark監査ツールの復旧

canopyの診断基盤と歩調を合わせ、source-awareな診断spanとラベルを追加し、source-backedな診断レンダラーを追加し、検証済みdiagnostic fixを追加した。CommonMark監査ツールを復旧させ、Lambdaの「else節欠落」診断fixも入れている。

主なPR / Issue: canopy #1042, #1048, #1049, #1050, #1051, #1052, #1069, #1085, #1086, #1087 / loom #795, #796, #804, #805, #806

PR索引

週ごとに折りたたんだ PR / Issue 一覧。GitHub 上の詳細への索引。

7月第1週（7/1〜7/6）

2026/7/1

Canopy / loom

canopy #821, #822, #825, #826, #827 / loom #547, #550, #551, #552, #553

2026/7/2

Canopy / loom

canopy #832, #833 / loom #555, #558, #566, #567, #568

2026/7/3

Canopy / incr / loom

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

incr 0.13.0 / js_engine / loom

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 / js_engine / loom

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 / loom

incr #359 / js_engine #502 / loom #633, #634, #638, #639, #641

7月第2週（7/7〜7/13）

2026/7/7

incr / loom

incr #360, #361, #362, #363 / loom #645, #647, #648

2026/7/8

incr ADR / MoonDsp

incr #372 / loom #650 / MoonDsp #227

2026/7/9

incr再入ガード / js_engine / loom

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

emit_grammar削除 / cache-for-X

canopy #873 / incr #385, #386, #388 / js_engine #510, #511, #513, #514 / loom #662, #663, #666, #667, #672, #675, #676

2026/7/11

JSX / js_engine / loom

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

GenUI / js_engine / loom

canopy #885, #887 / js_engine #532 / loom #703

2026/7/13

GenUI垂直スライス / line-mode lexer

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

7月第3週（7/14〜7/20）

2026/7/14

incr / loom

incr #398, #400 / loom #710, #713, #714, #715, #717

2026/7/15

GenUI kill date / v0.6.0

canopy #893, #894, #895, #897 / incr #401, #402, #403, #404 / js_engine #539, #540, #541 / loom #718

2026/7/16

v0.6.0リリース / GenUIゲーティング

canopy #896, #897, #898, #899, #900 / incr #405, #406, #407, #408 / js_engine #541, #542, #543, #544, #545, #546, #547 / loom #718, #719, #722, #724

2026/7/17

ローカルLLM feasibility / 未マージのprovider比較

canopy #901, #902, #903, #904, #905 / loom #725

2026/7/18

最小provider E2E / opportunity discovery

canopy #907, #908, #909 / incr #411, #412, #413, #414 / js_engine #548

2026/7/19

Legible Instrument / loomgen pattern validator

canopy #913 / incr #415, #416, #417 / loom #726, #727, #728, #729, #730, #731 / MoonDsp #228

2026/7/20

web feature境界抽出

canopy #914, #915, #918, #919, #920, #921, #922, #923, #924, #925 / incr #418, #420, #421

7月第4週（7/21〜7/27）

2026/7/21

web境界分離

canopy #926, #927, #928 / js_engine #549

2026/7/22〜7/23

delimiter frontier / continuation型付け

js_engine #551, #553, #555, #556 / loom #736, #737, #738

2026/7/24

EGW認可基盤 / protocol v3

canopy #938, #941, #942, #943, #944, #945 / incr #422, #423, #424 / loom #740, #741, #742, #743, #744, #745, #748

2026/7/25

Cloudflareコラボレーション / grammar progress契約

canopy #946 / incr #426, #427 / js_engine #564, #566, #567, #568, #569 / loom #756, #758, #759

2026/7/26

Waku移行着手

canopy #958, #980, #982, #983, #984, #985 / incr #428 / js_engine #573, #581, #582, #583, #584, #585, #587, #588, #589, #590, #591, #594, #595 / loom #761, #762, #763, #764

2026/7/27

Waku移行完了 / GenUIが/genuiへ

canopy #987, #988, #989, #990, #991, #993, #994 / incr #429 / js_engine #592, #593, #596, #597, #598, #599, #600 / loom #765, #766

7月第5週（7/28〜7/31）

2026/7/28

Waku仕上げ / js_engine v0.7.0

canopy #986, #995, #996 / incr #430, #431 / js_engine #550, #602, #603, #604, #613 / loom #462, #720, #747, #767, #768, #769

2026/7/29

GenUI kill date / btree始動

canopy #981, #997, #998, #1000 / incr #432 / js_engine #629, #632 / loom #770, #771, #773, #774, #775

2026/7/30

CRDT意図保存probe / CommonMark強調統合

canopy #1009, #1010, #1026, #1028, #1030, #1032, #1033, #1041, #1043, #1046 / loom #776, #789, #790, #791, #792, #793

2026/7/31

診断基盤 / CommonMark監査復旧

canopy #1042, #1048, #1049, #1050, #1051, #1052, #1069, #1085, #1086, #1087 / loom #795, #796, #804, #805, #806