RESEARCH TO INFRASTRUCTURE
Research Registry
Research appears publicly only when its claim, non-claim, threat, invariant, evidence, tooling, maturity, and limitations are adjacent.
Mobile view is optimised for record-by-record inspection. Desktop offers the full comparison layout. All evidence remains available here.
| Research | Claim | Non-Claim | Primitive | Maturity |
P/N521 Cross-Limb Borrow Regression Cryptography |
A permanent regression fixture preserves the subtraction overflow boundary for P/N521 limb arithmetic. |
This does not prove production certification or all arithmetic invariants. |
Integrity |
Evidence surface |
Toolchain Evidence Lock Evidence systems |
Toolchain versions are published as detected and remain locked to the inspected evidence environment. |
The registry does not claim the newest possible version of every tool. |
Evidence |
Frozen point-in-time evidence |
Read-Only Chain Observation Boundary Chain research |
Chain 978 and Chain N521 can be exposed only as independently signed, bounded read-only observations. |
A chain observation does not prove contract safety, bytecode identity, reserve state, or deployment correctness. |
Verification |
Read-only live |
Cryptography
- Record ID
fenrua-research:pn521-cross-limb-borrow
- Maturity
- Evidence surface
- Date
- 2026-07-12
Claim: A permanent regression fixture preserves the subtraction overflow boundary for P/N521 limb arithmetic.
Primary limitation: Browser does not replay binary fixture bytes; public page exposes hashes and pinned links.
Open record
Evidence systems
- Record ID
fenrua-research:toolchain-evidence-lock
- Maturity
- Frozen point-in-time evidence
- Date
- 2026-07-22
Claim: Toolchain versions are published as detected and remain locked to the inspected evidence environment.
Primary limitation: Version capture does not prove security findings.
Open record
Chain research
- Record ID
fenrua-research:read-only-chain-observation
- Maturity
- Read-only live
- Date
- 2026-07-12
Claim: Chain 978 and Chain N521 can be exposed only as independently signed, bounded read-only observations.
Primary limitation: No stale contract claims are derived from the feed.
Open record