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 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.7**. Public inputs are validated before execution;
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 latest checked-in formal comparison uses a declared shared-stock endpoint.
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.
137
- Success rate, speed, stock definition, validation, and route quality must be
138
- reported separately.
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 the full measurements, methodology, confidence intervals, and limitations.
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.7",
8
+ "version": "1.0.8",
9
9
  "license": "MIT",
10
10
  "repository": {
11
11
  "type": "git",
package/renkin_bg.wasm CHANGED
Binary file