renkin 1.0.6 → 1.0.7
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +14 -2
- package/package.json +1 -1
- package/renkin_bg.wasm +0 -0
package/README.md
CHANGED
|
@@ -17,6 +17,14 @@ RENKIN has two uses:
|
|
|
17
17
|
Auditing is local and reproducible. Reports include structural checks, stock
|
|
18
18
|
coverage, forward replay, provenance, and a verifiable audit manifest.
|
|
19
19
|
|
|
20
|
+
Current release: **v1.0.7**. Public inputs are validated before execution;
|
|
21
|
+
WASM applies bounded search limits, and MCP numeric and element-filter
|
|
22
|
+
arguments fail closed when invalid. Standard MCP search also accepts an
|
|
23
|
+
optional cooperative `timeout_secs` budget.
|
|
24
|
+
|
|
25
|
+
The audit and private-stock policy layers are split into deterministic,
|
|
26
|
+
testable steps so their report schema and policy behavior remain stable.
|
|
27
|
+
|
|
20
28
|
## Install
|
|
21
29
|
|
|
22
30
|
```bash
|
|
@@ -122,8 +130,10 @@ explanation, constraints, diagnostics, and audit receipts. See the [MCP guide](h
|
|
|
122
130
|
## Benchmark status
|
|
123
131
|
|
|
124
132
|
The latest checked-in formal comparison uses a declared shared-stock endpoint.
|
|
125
|
-
|
|
126
|
-
|
|
133
|
+
Native route discovery reached 134/200 (67.0%) for both RENKIN and
|
|
134
|
+
AiZynthFinder 4.4.1. Under the common strict validator, RENKIN reached
|
|
135
|
+
134/200 and AiZynthFinder 123/200; this fixed-cohort point estimate is not a
|
|
136
|
+
universal CASP superiority claim, and the formal paired gate remains pending.
|
|
127
137
|
Success rate, speed, stock definition, validation, and route quality must be
|
|
128
138
|
reported separately.
|
|
129
139
|
|
|
@@ -146,6 +156,8 @@ Important boundaries:
|
|
|
146
156
|
- stock identity is exact standardized canonical-SMILES membership;
|
|
147
157
|
- route success is not experimental success;
|
|
148
158
|
- external model output is evidence or candidates, not automatic validity;
|
|
159
|
+
- comparison manifests bind the tool, configuration, input files, and checked
|
|
160
|
+
worktree state so resumed runs cannot silently mix configurations;
|
|
149
161
|
- benchmark claims must name the dataset, stock, versions, and endpoint.
|
|
150
162
|
|
|
151
163
|
## License
|
package/package.json
CHANGED
|
@@ -5,7 +5,7 @@
|
|
|
5
5
|
"kent-tokyo <kent-tokyo@users.noreply.github.com>"
|
|
6
6
|
],
|
|
7
7
|
"description": "Ultra-fast retrosynthesis engine for computer-aided synthesis planning (CASP) — pure Rust, WASM-ready, Python bindings via PyO3",
|
|
8
|
-
"version": "1.0.
|
|
8
|
+
"version": "1.0.7",
|
|
9
9
|
"license": "MIT",
|
|
10
10
|
"repository": {
|
|
11
11
|
"type": "git",
|
package/renkin_bg.wasm
CHANGED
|
Binary file
|