QJHWC/PaperForge

何を解決するか

PaperForge は、科学的調査プロセスに厳密さと検証可能性をもたらす「研究OS」です。分散した研究ワークフローの問題を解決するために、研究計画、制御された実験、論文執筆、出版を1つのシステムに統合し、論文内のすべての主張が検証可能な証拠（コード、データ、文献）によって裏付けられるようにします。

動作方法

このシステムは、統合実行環境（ResearchOSRuntime）と科学的メモリデータベース（SQLite）で構成され、すべての主張の履歴を追跡します。3つの実行プロファイルを用いて厳格な境界を強制します：

• writing-only：証拠の読み取りとLaTeXの執筆に限定され、すべての計算／実験ツールがブロックされます。
• research：文献レビューと研究計画の機能が追加されます。
• full：承認された実験を、さまざまなバックエンド（ローカル、Docker、SSH、Slurm、Kubernetes、クラウドSSH）で実行できます。

実験は必須のパイプラインに従います：提案 $ ightarrow$ 静的チェック $ ightarrow$ ミニ実験 $ ightarrow$ 本格実験。その後、公開エンジンが「主張ゲート」を実行し、論文のすべての文が証拠にリンクされていることを確認してから、CVPR、IEEE、Elsevier用のテンプレートで最終PDFをレンダリングします。

対象ユーザー

論文執筆と実験追跡の面倒な部分を自動化したいが、科学的整合性と再現性の高い基準を維持したい学術研究者および学生向けに開発されています。

特徴

• 証拠中心の執筆：論文内のすべての公開主張には、特定のソースコード、ログ、または文献にリンクされた claim_id が割り当てられます。
• 制御された実験：承認ワークフローと多段階実行（静的 $ ightarrow$ ミニ $ ightarrow$ 本格）により、制御不能な計算コストやエラーを防止します。
• 統合されたコンピューティングバックエンド：ローカルマシン、コンテナ、HPCクラスタ（Slurm/K8s）を一括して管理する単一インターフェース。
• 公開パイプライン：自動LaTeXコンパイル、レイアウト診断、最終的な「リリースゲート」により、シークレットのスキャンと保護されたハッシュの検証を行い、プロジェクトを完了とマークします。
• ドメインプラグイン：CV、NLP、RL、Bio、物理学、ロボティクス向けのメトリクスと証拠インポートを内蔵サポートしています。