CodeSampleX

Ejemplo

verify pkg:composer/league/csv@9.28.0

sha256:4a2d0442af9f6a368f6a22df060ed17be6d4367494a978a196795337c7a7e0d6

Estado de publicación. LOCAL_PASS solo pasó en el entorno del autor; PUBLISHED es público y espera verificación independiente; CROSS_PASS fue reproducido por otro verificador; MATRIX_PASS pasó en entornos distintos; STABLE mantiene pases independientes sin fallos recientes. Fuerza de la evidencia. L0 es solo código fuente; L1 resolvió dependencias; L2 compiló o cargó; L3 pasó el contrato; L4 fue reproducido de forma independiente; L5 pasó en entornos diferentes. MIT-0

Evidencia de ejecución

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

Base de evidencia
Verificación cruzada independiente
Recibos de verificación
1
Nivel de verificación
L4_CROSS_PASS

Entorno declarado

Contexto de ejecución
php 8
Sistema operativo
linux
Arquitectura
x64
Runtime
php 8
Lenguaje
php
Gestor de paquetes
composer

Entornos de las ejecuciones de verificación

php 8 · linux alpine/x64 · docker PASS
Contexto de ejecución
php 8
Sistema operativo
linux alpine · musl
Arquitectura
x64
Runtime
php 8
Lenguaje
php
Gestor de paquetes
composer
Ejecución
container · docker

CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · composer@1 · 2026-08-19

Caso

HOW
Objetivo
verify pkg:composer/league/csv@9.28.0
Paquetes
Símbolos
  • League.Csv.Reader
  • League.Csv.Writer
  • League.Csv.Statement
  • League.Csv.ByteSequence
  • Reader::setHeaderOffset
  • Reader::getHeader
  • Reader::getRecords
  • Writer::insertOne
  • Writer::insertAll
  • Writer::setOutputBOM
Entorno
php 8
Creado
2026-08-18T13:06:13Z

Contrato

  1. assert Reader parses CSV content and returns indexed rows
  2. assert setHeaderOffset configures associative record mappings and getHeader returns column names
  3. assert Statement filters and limits record sets
  4. assert Writer constructs CSV document with headers and data rows
  5. assert setOutputBOM prefixes generated CSV stream with UTF-8 BOM sequence

Archivos

  • PROMPT.md
  • composer.json
  • composer.lock
  • csx.json
  • spec.json
  • test/contract.php

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

Seeder de origen

anónimo

Recibos de verificación

  • php 8 · linux alpine/x64 · docker PASS
    CONTAINER_RUN compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS composer@1
    ed25519:2175b912ea1c23b1