Verification register Security & Identity
Current reading
Readiness band and full integer triple
AI-assisted assembly · derived results
Readiness band
Ready
Primary summary from verified readiness
- Confidence
- 77% · stale
- Computed at
- 2026-08-20T10:53:46.594302+00:00
- Claimed
- 80
- Reported
- 78
- Verified
- 71
- Gap
- +9
Public ambition and stated capability
Observed practitioner reporting
Independently supported evidence
Claimed leads verified
Evidence strength Strong
Decision
What the current evidence supports
Human editorial judgment · 2026-08-20
Track; not yet
- Why
- Production-deployed at Signal scale with formal verification (Cryspen/ProVerif/hax-F*) and peer-reviewed backing (Eurocrypt/USENIX 2025) - strong validation of PQ ratcheting. But it is an app-specific protocol, not a drop-in primitive for our checkout/identity stack, so it is a pattern to learn from, not a component to import now.
- Next
- Treat as the reference design for PQ ratcheting if/when we build E2E messaging; for current KEM needs prefer X-Wing/ML-KEM directly. No protected-component change (Rule #29).
Constraints
Blockers
No named blocker is present in the current public projection.
Evidence summary
Derived counts
AI-assisted assembly
- Total
- 12
- Tier 1
- 2
- Tier 2
- 2
- Tier 3
- 8
- Supports
- 8
- Contradicts
- 2
- Context
- 2
- Latest observed
- 2025-10-29
Counts and dates only. Raw signals, private excerpts, trust records, and internal corpus material are not published here.
Publication record
Revisions
Initial public reading
- 2026-07-19 Reading moved from ready to ready.