Separately versioned package data, not the site's certified registry database or its proof count.
The 19 written paper theorems are not a machine replay of all 19. Eight directed lanes have package-owned replay fixtures; availability is not a replay result and this website does not run the package verifier. No row below is added to the website's machine-certified PROVED total.
Snapshot 2026.09.27-paper-review from
package source 87deef9d0acb
(v0.5.0 release). SHA-256 6a4fa701aaeada2f0b063604ad65c4ebed7b555e4f47894ea652d4c7ab3c617c.
Canonical alias janowski_A0_B-1 is folded into order_0.5;
702 raw key rows include duplicate directions and self-alias rows.
This is a 28 × 26 sampled grid,
not the full 38-generator directed catalog.
54 incoming key directions are unpopulated.
Download the full canonical JSON and provenance →
These are manuscript claims, not automatically machine-certified website proofs; literature novelty is a separate question. Direction is source → target.
| Direction | Exact value in snapshot | Written theorem | Package replay lane |
|---|---|---|---|
bell → sine |
log(log(sin(1) + 1) + 1) |
Theorem 4.5(d) | Not bundled |
cosh_sqrt → lemniscate |
acosh(sqrt(2))**2 |
Theorem 4.5(a) | Not bundled |
crescent → exponential |
sin(1) |
Theorem 4.4(a) | Not bundled |
crescent → lemniscate |
sqrt(2)/4 |
Theorem 4.7(a) | Available (not run here) |
exponential → bell |
1 - exp(-1) |
Theorem 4.5(e) | Not bundled |
exponential → crescent |
log((1 + 1*sqrt(2))) |
Theorem 4.4(b) | Not bundled |
exponential → lemniscate |
((1/2)*log(2)) |
Theorem 4.5(f) | Available (not run here) |
exponential → order_0.5 |
(1*log(2)) |
Theorem 4.5(g) | Available (not run here) |
exponential → sine |
log(sin(1) + 1) |
Theorem 4.5(b) | Not bundled |
order_0.5 → crescent |
2 - sqrt(2) |
Theorem 4.7(b) | Available (not run here) |
rational_kr → sine |
-(1 + sqrt(2))*(-sqrt(sin(1)**2 + 1 + 6*sin(1)) + sin(1) + 1)/2 |
Theorem 4.5(c) | Not bundled |
sigmoid → rational_kr |
((1/2)*log(2)) |
Theorem 4.8(b) | Not bundled |
sine → bell |
asin(1 - exp((1 - E)*exp(-1))) |
Theorem 4.6(c) | Not bundled |
sine → exponential |
asin(1 - exp(-1)) |
Theorem 4.6(b) | Not bundled |
sine → rational_kr |
asin(3 - 2*sqrt(2)) |
Theorem 4.8(a) | Not bundled |
sine → sigmoid |
asin((-1 + E)/(1 + E)) |
Theorem 4.3 | Available (not run here) |
sine → tanh |
asin(tanh(1)) |
Theorem 4.6(a) | Available (not run here) |
starlike → lemniscate |
3 - 2*sqrt(2) |
Theorem 4.5(h) | Available (not run here) |
starlike → order_0.75 |
1/7 |
Theorem 4.5(i) | Available (not run here) |
Other canonical status buckets: 273 touch-proven-exact (global containment not necessarily discharged), 132 closed-form-confirmed, 133 trivial containment, 82 unidentified, and 11 audit-required. See the independent legacy radius reconciliation for its own evidence boundary.
We use first-party site metrics to improve navigation: page visits, internal clicks, search result counts (not search terms), and approximate active time. A random tab ID groups events for seven days; GPC/DNT turns this off. The separate visitor count uses a self-hosted pseudonymous fingerprint and also respects GPC/DNT.