Records/cargo/r-efi/5.3.0/r_efi

Published samples

• r-efi 5.3.0: r_efi Built ? This network offers one thing: a sample that builds. It ran the sample in a sandbox and kept the signed receipt. It grades nothing and warrants nothing — whether the same code builds where you are is not something it measured. HOWr_efi MIT-0 · 2026-10-11

Compatibility matrix

Project-level observations and symbol/contract verifications are counted separately and never combined.

These counts do not distinguish how the symbol was called: overloads, argument shapes and options are pooled together. What a particular call shape does is proven by a sample's contract, not by these numbers.

snapshot · 2026-10-13

Failure clusters

• observed 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
  Evidence quality: complete · Environment variants: 1 · First recorded: 2026-10-11 · Last seen: 2026-10-11
  Where does this failure start and stop?
• observed 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
  Evidence quality: complete · Environment variants: 1 · First recorded: 2026-10-11 · Last seen: 2026-10-11
  Where does this failure start and stop?
• observed UNKNOWN exit 101 Evidence gap ×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
  Evidence quality: complete · Environment variants: 1 · First recorded: 2026-10-11 · Last seen: 2026-10-11
  Diagnostic re-verification candidate
  Where does this failure start and stop?