CodeSampleX

Exemple

verify pkg:composer/league/csv@9.28.0

sha256:4a2d0442af9f6a368f6a22df060ed17be6d4367494a978a196795337c7a7e0d6

État de publication. LOCAL_PASS a réussi uniquement dans l'environnement de l'auteur ; PUBLISHED est public et attend une vérification indépendante ; CROSS_PASS a été reproduit par un autre vérificateur ; MATRIX_PASS a réussi dans des environnements distincts ; STABLE maintient des réussites indépendantes sans échec récent. Force de la preuve. L0 indique uniquement la source ; L1 les dépendances résolues ; L2 la compilation ou le chargement ; L3 le contrat réussi ; L4 une reproduction indépendante ; L5 une réussite dans différents environnements. MIT-0

Preuves d'exécution

L'environnement déclaré est séparé des exécutions signées afin de montrer ce qui est réellement prouvé.

Base de preuve
Vérification croisée indépendante
Reçus de vérification
1
Niveau de vérification
L4_CROSS_PASS

Environnement déclaré

Contexte d'exécution
php 8
Système d'exploitation
linux
Architecture
x64
Runtime
php 8
Langage
php
Gestionnaire de paquets
composer

Environnements des exécutions de vérification

php 8 · linux alpine/x64 · docker PASS
Contexte d'exécution
php 8
Système d'exploitation
linux alpine · musl
Architecture
x64
Runtime
php 8
Langage
php
Gestionnaire de paquets
composer
Exécution
container · docker

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

Cas

HOW
Objectif
verify pkg:composer/league/csv@9.28.0
Paquets
Symboles
  • League.Csv.Reader
  • League.Csv.Writer
  • League.Csv.Statement
  • League.Csv.ByteSequence
  • Reader::setHeaderOffset
  • Reader::getHeader
  • Reader::getRecords
  • Writer::insertOne
  • Writer::insertAll
  • Writer::setOutputBOM
Environnement
php 8
Créé
2026-08-18T13:06:13Z

Contrat

  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

Fichiers

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

Télécharger l’artefact source (tar.gz)

Seeder d'origine

anonyme

Reçus de vérification

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