Aufzeichnungengolanggithub.com/chzyer/readlinev0.0.0-20180603132655-2972be24d48e
Umgebungsdetails
Beobachtungen auf Projektebene und Symbol-/Contract-Verifizierungen werden getrennt gezählt und niemals zusammengerechnet.
Diese Zahlen unterscheiden nicht, wie das Symbol aufgerufen wurde: Überladungen, Argumentformen und Optionen werden zusammengefasst. Was eine bestimmte Aufrufform tut, beweist der Vertrag eines Samples – nicht diese Zahlen.
| Umgebung | Konfidenz | Beobachtungen | Verifiziert | Erfolgsquote | Peers | Zuletzt gesehen |
|---|---|---|---|---|---|---|
| go 1.26 · Go · go · linux glibc
Beobachtungen: PROJECT_PROCESS 11✓ 1✕ — Nutzung: USED 12✓ — Verifiziert: UNKNOWN 0✓ 2✕
|
LOW | 12 +12 | 2 | 79 % | 1 | 2026-09-21 |
Aktuelle Fehler-Cluster
-
beobachtet PROJECT_PROCESS Beweislücke ×1 v0.0.0-20180603132655-2972be24d48e os=linux · runtime=go@1.26Beweisqualität: legacy-evidence-incomplete · Umgebungsvarianten: 1 · Zuerst erfasst: 2026-08-21 · Zuletzt gesehen: 2026-08-21
-
beobachtet UNKNOWN exit 1 Beweislücke ×1 v0.0.0-20180603132655-2972be24d48e os=linux · runtime=go@1.26 sha256:4376abbcda27…Contract verification failed: expected default <str>, got <str> · exit status 1go · unclassified-diagnostic · outer go run · gap stage-unknownBeweisqualität: complete · Umgebungsvarianten: 1 · Zuerst erfasst: 2026-08-31 · Zuletzt gesehen: 2026-08-31Kandidat für diagnostische Neuprüfung
-
beobachtet UNKNOWN exit 1 Beweislücke ×1 v0.0.0-20180603132655-2972be24d48e os=linux · runtime=go@1.26 sha256:8ba8235d9206…Contract verification failed: expected active string <str>, got <str> · exit status 1go · unclassified-diagnostic · outer go run · gap stage-unknownBeweisqualität: complete · Umgebungsvarianten: 1 · Zuerst erfasst: 2026-08-31 · Zuletzt gesehen: 2026-08-31Kandidat für diagnostische Neuprüfung
Symbole
Noch keine Symbole mit Evidenz.