逆合成 · 路线审计 · 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。

输入路线保留在本地。私有库存和策略文件也可一直保留在本地。

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.cffREADME