Relevés/cargo/r-efi/5.3.0/r_efi

Exemples publiés

• r-efi 5.3.0: r_efi Compilé ? 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é. HOWr_efi MIT-0 · 2026-10-11

Matrice de compatibilité

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.

snapshot · 2026-10-13

Clusters d'échecs

• observé PROJECT_COMPILE exit 101 ×1 5.3.0 os=linux r_efi sha256:b10adf0438ac…
  error: could not compile `sample-r-efi` (bin <str>) due to 3 previous errors
  rust/rustc · compiler-diagnostic · outer cargo run
  Qualité de preuve: complete · Variantes d’environnement: 1 · Premier relevé: 2026-10-11 · Dernière observation: 2026-10-11
  Où cet échec commence-t-il et où s'arrête-t-il ?
• observé PROJECT_COMPILE exit 101 E0425 ×1 5.3.0 os=linux r_efi sha256:f34b1cf87a64…
  error[E0425]: cannot find value `my_callback` in this scope
  rust/rustc · compiler-diagnostic · outer cargo run
  Qualité de preuve: complete · Variantes d’environnement: 1 · Premier relevé: 2026-10-11 · Dernière observation: 2026-10-11
  Où cet échec commence-t-il et où s'arrête-t-il ?
• observé UNKNOWN exit 101 Lacune de preuve ×1 5.3.0 os=linux r_efi sha256:4b7aca614b01…
  Compiling sample-r-efi v1.0.0 (<path> · Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.58s · Running `target/debug/contract` …
  cargo · unclassified-diagnostic · outer cargo run · gap stage-unknown
  Qualité de preuve: complete · Variantes d’environnement: 1 · Premier relevé: 2026-10-11 · Dernière observation: 2026-10-11
  Candidat à une revérification diagnostique
  Où cet échec commence-t-il et où s'arrête-t-il ?