LaTeX AIが実ファイルからPDFまで検証する工程

回答と完成物は別の検証対象

Axiomの処理は、プロジェクトを読む段階、ファイルへ変更を書く段階、TeX64のビルド機能でPDFを作る段階に分かれる。 会話上で「修正しました」と書かれていても、書き込みツールが一度も成功していなければ変更済みとして扱わない。 逆に、変更が書かれた後は、モデルが組版を呼び忘れても終了時に決定的な最終ビルドが一度だけ走る。

現行の18個のツールは作業フォルダ内に限定される

2026年8月31日の実装確認では、モデルへ公開されるツールは18個だった。 一般シェルは含まれず、実行中に作業フォルダが切り替わると、すべてのツールが処理を拒否する。 パス解決ではシンボリックリンクをたどった後の実体も確認し、作業フォルダ外への読み書きを許さない。

変更は先に書かれ、差分表示は事後確認になる

現行実装では、Axiomの変更は保護規則を通過した時点でファイルへ書かれる。 画面に出る差分は事前承認ではなく事後確認であり、利用者は「完了」で表示を閉じるか、「元に戻す」で変更を取り消して保存する。 公開説明が事前承認と書いている場合は実装と一致しない。

read current bytes
→ apply a guarded write
→ record before/after counts and hashes
→ mark the document as needing a build
→ compile the active or explicit root
→ show the applied diff with Done / Undo

compile_documentにルート文書を渡さない場合は、その処理で編集中の.texを対象にする。 作業フォルダ直下に別のmain.texがあっても、入れ子の編集中文書を勝手に置き換えない。 ファイル内にマジックルートの指定がある場合も、その指定を優先する。

実装確認は実際のPDF生成まで通す

2026年8月31日の公開フィクスチャは、作業フォルダ直下の壊れたmain.texではなくdocuments/paper/main.texを選択した。実装のreplace_linesで1行を書き換え、 保存済みバイトを受け取った画面が適用後の差分を表示するところまで記録している。

適用差分、完了後PDF、取り消し後PDFは公開マニフェストのSHA-256で結ばれている。 「完了」は書き込み前の承認ではなく表示を閉じる操作である。画面の「元に戻す」はMonacoのUndo後に保存し、そのハンドラー自体はビルドしない。 JSONトレースの再ビルド付きundoは別の実行単位Undoであり、AgentServiceが元のバイトを復元して同じルートを組み直した記録である。

ローカル編集とオンラインAI処理を分けて考える

プロジェクトファイルの保存、ビルド、PDF表示は端末側にある。 ただしAxiomへ依頼すると、実行に必要な文脈がオンラインサービスへ送られる。 数式OCRの端末内処理とAxiomのモデル処理は同じ経路ではない。現行の取り扱いはプライバシー説明で確認できる。