Registregolanggo.step.sm/cryptov0.45.0go.step.sm/crypto/keyutil.VerifyPair
Matrice de compatibilité
Les observations au niveau projet et les vérifications de symbole/contrat sont comptées séparément et jamais additionnées.
Ces chiffres ne distinguent pas la façon dont le symbole a été appelé : surcharges, formes d'arguments et options sont regroupées. Ce que fait une forme d'appel précise est prouvé par le contrat d'un échantillon, pas par ces nombres.
| Environnement | Confiance | Observations | Vérifié | Taux de réussite | Pairs | Dernière observation |
|---|---|---|---|---|---|---|
| go 1.26 · Go · go · linux glibc
Observations: PROJECT_PROCESS 3✓ 1✕
|
LOW | 4 | 0 | 75 % | 1 | 2026-08-26 |
snapshot · 2026-08-30
Clusters d'échecs
-
observé PROJECT_PROCESS Lacune de preuve ×1 v0.45.0 os=linux · runtime=go@1.26 go.step.sm/crypto/keyutil.VerifyPairQualité de preuve: legacy-evidence-incomplete · Variantes d’environnement: 1 · Premier relevé: 2026-08-26 · Dernière observation: 2026-08-26