CodeSampleX

Beispiel

Measure absent, nil, empty-list, and empty-string header handling in Req 0.7.2

sha256:e52f4de61ddb61a20d40120fde5ea4fc51435b5e9ee5588d1f4eeeafe309ba51

PUBLISHED L3_CONTRACT_PASS MIT-0

Ausführungsbelege

Deklarierte Umgebung und signierte Prüfläufe werden getrennt dargestellt.

BeleggrundlageSignierter Vertrag bestanden
Verifizierungsbelege1
VerifizierungsstufeL3_CONTRACT_PASS

Deklarierte Umgebung

Ausführungskontext
elixir 1
Betriebssystem
linux
Architektur
x64
Runtime
elixir 1
Sprache
elixir
Paketmanager
mix

Umgebungen der Verifizierungsläufe

Ausführungskontext
elixir 1
Betriebssystem
linux alpine · musl
Architektur
x64
Runtime
elixir 1
Sprache
elixir
Paketmanager
mix
Ausführung
container · docker

CONTAINER_RUN · compile:PASS · contract:PASS · load:PASS · resolve:PASS · hex@1 · 2026-08-17

Fall

Ziel
Measure absent, nil, empty-list, and empty-string header handling in Req 0.7.2 HOW
Pakete
req 0.7.2
Umgebung
elixir 1
Erstellt
2026-08-17T04:47:37Z

Häufige Annahme

A nil or empty-list Req header is absent from the internal map, so put_new_header supplies a fallback and get_header distinguishes it from a missing header.

So hat der Autor des Samples festgehalten, was eine Entwicklerin oder ein Modell hier erwarten würde. Der Vertrag darunter ist das, was tatsächlich lief.

Contract

Dateien

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

csx-seed

Verifizierungsbelege