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 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
- RENKIN and AiZynthFinder reached the same route count in the published
126
- equal-condition comparison; universal CASP superiority is not proven.
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.6",
8
+ "version": "1.0.7",
9
9
  "license": "MIT",
10
10
  "repository": {
11
11
  "type": "git",
package/renkin_bg.wasm CHANGED
Binary file