逆合成 · 経路監査 · PURE RUST

合成経路を、
ローカルで検査する。

RENKIN はオープンソースの逆合成プランナーであり、経路監査器です。標的から探索することも、他のプランナーの経路を分子構造をアップロードせずに検査することもできます。

Playground を開くGitHub で見る

付属のroute JSONサンプルは数分で確認できます。ブラウザー内で処理され、RENKIN のサーバーには送信されません。

標的から始めるか、経路から始めるか

Planner — 標的から始める入力: 標的分子。出力: 宣言したストックに至る候補経路。
Auditor — 経路から始める入力: 出力済みの経路ファイル。出力: 検査結果と根拠の境界を含むローカルJSONレポート。
入力経路ファイル
ローカル監査あなたの端末
JSON / レポート入力と一緒に保存

公開テストケース / 出力の抜粋

ひとつの入力、ひとつのローカル監査、確認可能なレポート

下の標的から経路を生成し、RENKINのデフォルトstandard policyで監査する例です。

1 / 入力

$ renkin --target
  CCOC(=O)c1ccccc1 --depth 1
  > route.json

2 / ローカル監査

$ renkin audit-route route.json
  --format auto --output json
  > audit-report.json

3 / レポート抜粋

{
  "source_format": "json",
  "audit_manifest": { "policy": "standard" },
  "routes": [{
    "status": "partial",
    "route_tree_parseable": true,
    "stock_validation": { "status": "not_evaluable" }
  }]
}

この例ではストックを渡さないため、レポートはpartialと明示的なnot_evaluableのストック検査を保持します。これはレポート上の境界であり、実験的な結論ではありません。

ひとつのローカル監査パイプライン。

AiZynthFinder · Syntheseus · SynPlanner · RENKIN

01 / AUDIT

主張ではなく、経路を監査する

RENKIN、AiZynthFinder、Syntheseus、SynPlanner の経路を持ち込めます。ローカルのレポートでは、構造検査、ストックカバレッジ、フォワード再現、来歴、不足している証拠を分けて扱います。

方法論と限界

02 / EVIDENCE

判断の境界を見えるままに

pass、fail、partial、not evaluable は同じ意味ではありません。経路監査は実験検証ではなく、欠けた条件を予測へ置き換えることもありません。

方法論と限界

03 / PLAN

標的から探索する必要があるとき

RENKIN はテンプレートと制約に基づく A* / AND-OR 探索、ストックを考慮したスコア、フォワード検証を提供します。出力にはストック、プロトコル、実験的な確認が必要です。

方法論と限界

QUICK START / AUDIT

最小の再現可能な監査例

この例は AiZynthFinder の経路ファイルを読み、監査サマリーを表示します。Syntheseus、SynPlanner、RENKIN の経路には対応する format を指定します。

入力経路はローカルに残ります。private stock と policy のファイルもローカルのまま利用できます。

import json, renkin

report = json.loads(
  renkin.audit_route(
    open("trees.json").read(),
    format="aizynthfinder",
  )
)
print(report["summary"])

実践ガイド

用途別経路監査クイックスタート形式FAQ限界比較方法

CITATION & REPRODUCIBILITY

バージョンとプロトコルを引用する

現在の引用情報は RENKIN v1.0.9（2026-09-22 リリース）です。再現報告には監査マニフェストとストック / テンプレート設定を残してください。

CITATION.cff を読むREADME