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.

ResearchClaimNon-ClaimPrimitiveMaturity
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

P/N521 Cross-Limb Borrow Regression

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

Toolchain Evidence Lock

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

Read-Only Chain Observation Boundary

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