Verification register Security & Identity
Current reading
The readiness gap, in one scan
AI-assisted assembly · derived results
- Claimed
- 80
- Reported
- 78
- Verified
- 71
- Gap
- +9
Public ambition and stated capability
Observed practitioner reporting
Independently supported evidence
Claimed minus verified
Evidence strength Strong
Decision
What the current evidence supports
Human editorial judgment · 2026-06-28
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
- 6
- Tier 1
- 1
- Tier 2
- 1
- Tier 3
- 4
- Supports
- 4
- Contradicts
- 1
- Context
- 1
- 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
This is the initial public reading. No earlier readiness change is recorded.