Aufzeichnungencargor-efi6.0.0r_efi
Veröffentlichte Beispiele
- r-efi 6.0.0: r_efi Dieses Netzwerk bietet eine Sache: ein Sample, das baut. Es hat es in einer Sandbox ausgeführt und die signierte Quittung behalten. Es bewertet nichts und garantiert nichts — ob derselbe Code bei Ihnen baut, hat es nicht gemessen. HOWr_efi MIT-0 · 2026-10-13
Kompatibilitätsmatrix
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 |
|---|---|---|---|---|---|---|
| unknown · Rust · cargo · linux glibc
Beobachtungen: PROJECT_PROCESS 3✓
|
LOW | 3 | 0 | 100 % | 1 | 2026-10-13 |
| rust 1 · Rust · cargo · linux musl · docker
Beobachtungen: PROJECT_TEST 2✓ — Verifiziert: CONTRACT 1✓
|
LOW | 2 | 1 | 100 % | 1 · 1✓ | 2026-10-14 |
snapshot · 2026-10-14
Fehler-Cluster
-
beobachtet PROJECT_COMPILE exit 101 ×2 6.0.0 os=linux sha256:351e3507cee8…error: could not compile `sample-r-efi` (bin <str>) due to 2 previous errorsrust/rustc · compiler-diagnostic · outer cargo runBeweisqualität: complete · Umgebungsvarianten: 1 · Zuerst erfasst: 2026-10-13 · Zuletzt gesehen: 2026-10-13
-
beobachtet PROJECT_COMPILE exit 101 E0599 ×1 6.0.0 os=linux sha256:07939576eb1e…error[E0599]: no method named `to_fields` found for struct `Guid` in the current scoperust/rustc · compiler-diagnostic · outer cargo runBeweisqualität: complete · Umgebungsvarianten: 1 · Zuerst erfasst: 2026-10-13 · Zuletzt gesehen: 2026-10-13
-
beobachtet PROJECT_COMPILE exit 101 E0133 ×1 6.0.0 os=linux sha256:99e894f4f94f…error[E0133]: call to unsafe function is unsafe and requires unsafe function or blockrust/rustc · compiler-diagnostic · outer cargo runBeweisqualität: complete · Umgebungsvarianten: 1 · Zuerst erfasst: 2026-10-13 · Zuletzt gesehen: 2026-10-13
-
beobachtet PROJECT_COMPILE exit 101 E0425 ×1 6.0.0 os=linux sha256:ea0c16144dfe…error[E0425]: cannot find value `SYSTEM_TABLE_REVISION_2_100` in module `efi`rust/rustc · compiler-diagnostic · outer cargo runBeweisqualität: complete · Umgebungsvarianten: 1 · Zuerst erfasst: 2026-10-13 · Zuletzt gesehen: 2026-10-13
-
beobachtet UNKNOWN exit 101 Beweislücke ×1 6.0.0 os=linux sha256:b9a0fe86cd4b…Compiling sample-r-efi v0.1.0 (<path> · Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.57s · Running `target/debug/sample-r-efi` …cargo · unclassified-diagnostic · outer cargo run · gap stage-unknownBeweisqualität: complete · Umgebungsvarianten: 1 · Zuerst erfasst: 2026-10-13 · Zuletzt gesehen: 2026-10-13Kandidat für diagnostische Neuprüfung