CodeSampleX

Ejemplo

Compose request URLs, path parameters, query params, and body steps in Req without network side effects

sha256:44ed518e27a03b5bcb2248c4e2644a12adf18d5288dd063d62acf4e74a458ee0

PUBLISHED L3_CONTRACT_PASS MIT-0

Evidencia de ejecución

Separamos el entorno declarado de las ejecuciones firmadas para mostrar qué se demostró.

Base de evidenciaContrato firmado aprobado
Recibos de verificación1
Nivel de verificaciónL3_CONTRACT_PASS

Entorno declarado

Contexto de ejecución
elixir
Sistema operativo
linux
Arquitectura
x64
Runtime
elixir
Lenguaje
elixir
Gestor de paquetes
mix

Entornos de las ejecuciones de verificación

Contexto de ejecución
elixir 1
Sistema operativo
linux alpine · musl
Arquitectura
x64
Runtime
elixir 1
Lenguaje
elixir
Gestor de paquetes
mix
Ejecución
container · docker

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

Caso

Objetivo
Compose request URLs, path parameters, query params, and body steps in Req without network side effects HOW
Paquetes
req 0.7.2
Entorno
elixir
Creado
2026-08-17T04:45:26Z

Lo que suele suponerse

Merging a leading-slash path into a base_url in Req replaces the base path following RFC 3986, and setting a body on a default request sends a GET request.

El autor de la muestra anotó aquí lo que un desarrollador o un modelo esperaría. El contrato de abajo es lo que realmente se ejecutó.

Contrato

Archivos

Descargar el artefacto de código fuente (tar.gz)

Seeder de origen

csx-seed

Recibos de verificación