renkin 1.0.7 → 1.0.8
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 +9 -9
- package/package.json +1 -1
- package/renkin_bg.wasm +0 -0
package/README.md
CHANGED
|
@@ -17,7 +17,7 @@ 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.
|
|
20
|
+
Current release: **v1.0.8**. Public inputs are validated before execution;
|
|
21
21
|
WASM applies bounded search limits, and MCP numeric and element-filter
|
|
22
22
|
arguments fail closed when invalid. Standard MCP search also accepts an
|
|
23
23
|
optional cooperative `timeout_secs` budget.
|
|
@@ -129,16 +129,16 @@ explanation, constraints, diagnostics, and audit receipts. See the [MCP guide](h
|
|
|
129
129
|
|
|
130
130
|
## Benchmark status
|
|
131
131
|
|
|
132
|
-
The
|
|
133
|
-
|
|
134
|
-
|
|
135
|
-
|
|
136
|
-
|
|
137
|
-
|
|
138
|
-
|
|
132
|
+
The registered Phase 55 shared-stock, shared-budget TEST comparison completed
|
|
133
|
+
690 targets: RENKIN found 481 strict routes (69.71%) and AiZynthFinder 4.4.1
|
|
134
|
+
found 32 (4.64%). The paired coverage difference was +65.07 percentage points
|
|
135
|
+
(95% CI +61.45 to +68.55). This is evidence only for the pinned cohort,
|
|
136
|
+
assets, stock, and budget; it is neither a universal CASP claim nor evidence
|
|
137
|
+
of laboratory success. Peak-RSS and time-to-first-route receipts remain open,
|
|
138
|
+
so it is not a whole-cohort performance claim.
|
|
139
139
|
|
|
140
140
|
See the [benchmark documentation](https://kent-tokyo.github.io/renkin/benchmark/)
|
|
141
|
-
for
|
|
141
|
+
for protocol, artifacts, and claim boundaries.
|
|
142
142
|
|
|
143
143
|
## Development
|
|
144
144
|
|
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.8",
|
|
9
9
|
"license": "MIT",
|
|
10
10
|
"repository": {
|
|
11
11
|
"type": "git",
|
package/renkin_bg.wasm
CHANGED
|
Binary file
|