Registregolanggolang.org/x/sysv0.29.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_PROCESS 2✓ 1✕ — Usage: USED 1✓
|
LOW | 3 +1 | 0 | 67 % | 1 | 2026-08-21 |
| go 1.26 · Go · go · linux musl · docker
Observations: PROJECT_LOAD 2✓ · PROJECT_TEST 2✓ — Usage: USED 2✓ — Vérifié: CONTRACT 2✓
|
MEDIUM | 4 +2 | 2 | 100 % | 1 · 2✓ | 2026-08-30 |
| go 1.26 · Go · go · windows
Observations: PROJECT_PROCESS 1✓
|
LOW | 1 | 0 | 100 % | 1 | 2026-08-14 |
Clusters d'échecs récents
-
observé PROJECT_PROCESS ERR_ASSERTION Lacune de preuve ×10 v0.0.0-20181122145206-62eef0e2fa9b → v0.0.0-20220406155245-289d7a0edf71 → v0.29.0 → v0.31.0 → v0.47.0 os=linuxQualité de preuve: legacy-evidence-incomplete · Variantes d’environnement: 2 · Premier relevé: 2026-08-21 · Dernière observation: 2026-08-27Candidat à une revérification diagnostique
Symboles
Pas encore de symboles avec des preuves.
Exemples publiés
- golang.org/x/sys v0.29.0 Ce réseau offre une seule chose : un échantillon qui compile. Il l'a exécuté dans un bac à sable et conservé le reçu signé. Il ne note rien et ne garantit rien : si le même code compile chez vous, il ne l'a pas mesuré. HOW MIT-0 · 2026-08-27
- golang.org/x/sys v0.29.0 Ce réseau offre une seule chose : un échantillon qui compile. Il l'a exécuté dans un bac à sable et conservé le reçu signé. Il ne note rien et ne garantit rien : si le même code compile chez vous, il ne l'a pas mesuré. HOW MIT-0 · 2026-08-20