Verification register Security & Identity
Current reading
Readiness band and full integer triple
AI-assisted assembly · derived results
Readiness band
Mature
Primary summary from verified readiness
- Confidence
- 63% · stale
- Computed at
- 2026-07-23T19:13:05.371596+00:00
- Claimed
- 90
- Reported
- 89
- Verified
- 83
- Gap
- +7
Public ambition and stated capability
Observed practitioner reporting
Independently supported evidence
Claimed leads verified
Evidence strength Growing
Decision
What the current evidence supports
Human editorial judgment · 2026-07-23
Adopt with guardrails
- Why
- PQ3 is the first billion-device-scale, independently formally-verified (Tamarin prover, USENIX Security 2025) proof that hybrid ECC+ML-KEM with continuous ratcheting is production-viable, directly relevant evidence for Rule #2's hybrid classical+quantum-safe verification mandate -- but its self-graded marketing claims should not be adopted uncritically.
- Next
- Cite PQ3's Tamarin-prover/USENIX-Security-2025-verified hybrid ECC+ML-KEM ratchet design as external validation when hardening Pragma.Vision's hybrid classical+quantum-safe signature roadmap; do not replicate Apple's proprietary 'security level' taxonomy -- reference NIST PQC security levels directly instead.
Constraints
Blockers
No named blocker is present in the current public projection.
Evidence summary
Derived counts
AI-assisted assembly
- Total
- 6
- Tier 1
- 0
- Tier 2
- 0
- Tier 3
- 6
- Supports
- 3
- Contradicts
- 1
- Context
- 2
- Latest observed
- 2025-10-28
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-23 Reading moved from mature to mature.