Registregolanggolang.org/x/netv0.12.0
Détail de l'environnement
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_TEST 2✓ 1✕
|
LOW | 3 | 0 | 67 % | 1 | 2026-08-26 |
| go 1.26 · Go · go · linux musl · docker
Observations: PROJECT_LOAD 3✓ · PROJECT_TEST 3✓ 1✕ — Usage: USED 4✓ — Vérifié: CONTRACT 3✓ 2✕
|
ELEVATED FAILURE | 7 +4 | 5 | 63 % | 2 · 2✓ | 2026-08-30 |
Clusters d'échecs récents
-
observé PROJECT_TEST Lacune de preuve ×7 v0.12.0 → v0.21.0 → v0.51.0 → v0.55.0 runtime=go@1.26Qualité de preuve: legacy-evidence-incomplete · Variantes d’environnement: 3 · Premier relevé: 2026-08-17 · Dernière observation: 2026-08-30Candidat à une revérification diagnostique