01 / AUDIT
主張ではなく、経路を監査する
RENKIN、AiZynthFinder、Syntheseus、SynPlanner の経路を持ち込めます。ローカルのレポートでは、構造検査、ストックカバレッジ、フォワード再現、来歴、不足している証拠を分けて扱います。
方法論と限界逆合成 · 経路監査 · PURE RUST
合成経路を、
ローカルで検査する。
RENKIN はオープンソースの逆合成プランナーであり、経路監査器です。標的から探索することも、他のプランナーの経路を分子構造をアップロードせずに検査することもできます。
ひとつのローカル監査パイプライン。
AiZynthFinder · Syntheseus · SynPlanner · RENKIN02 / 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"])CITATION & REPRODUCIBILITY
バージョンとプロトコルを引用する
現在の引用情報は RENKIN v1.0.6（2026-09-11 リリース）です。再現報告には監査マニフェストとストック / テンプレート設定を残してください。