Relevéspypitzdata2026.4
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 |
|---|---|---|---|---|---|---|
| python 3.12 · Python · uv · linux glibc
Usage: USED 47✓ — Vérifié: PROCESS_START 0✓ 1✕
|
LOW | 0 +47 | 1 | 0 % | 2 | 2026-09-14 |
Clusters d'échecs récents
-
observé PROCESS_START process start failed Lacune de preuve ×1 2026.4 os=linux · runtime=python@3.12 sha256:c12549970456…· structured-termination · gap diagnostic-missingQualité de preuve: partial · Variantes d’environnement: 1 · Premier relevé: 2026-09-14 · Dernière observation: 2026-09-14Candidat à une revérification diagnostique
Symboles
Pas encore de symboles avec des preuves.