CodeSampleX

Beispiel

verify pkg:composer/league/csv@9.28.0

sha256:4a2d0442af9f6a368f6a22df060ed17be6d4367494a978a196795337c7a7e0d6

Veröffentlichungsstatus. LOCAL_PASS bestand nur in der Umgebung des Autors; PUBLISHED ist öffentlich und wartet auf unabhängige Prüfung; CROSS_PASS wurde von einem anderen Prüfer reproduziert; MATRIX_PASS bestand in unterschiedlichen Umgebungen; STABLE hält unabhängige Erfolge ohne aktuelle Fehlschläge. Belegstärke. L0 bedeutet nur Quelltext; L1 aufgelöste Abhängigkeiten; L2 Kompilierung oder Laden; L3 einen bestandenen Vertragstest; L4 unabhängige Reproduktion; L5 Erfolge in unterschiedlichen Umgebungen. MIT-0

Ausführungsbelege

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

Beleggrundlage
Unabhängige Kreuzprüfung
Verifizierungsbelege
1
Verifizierungsstufe
L4_CROSS_PASS

Deklarierte Umgebung

Ausführungskontext
php 8
Betriebssystem
linux
Architektur
x64
Runtime
php 8
Sprache
php
Paketmanager
composer

Umgebungen der Verifizierungsläufe

php 8 · linux alpine/x64 · docker PASS
Ausführungskontext
php 8
Betriebssystem
linux alpine · musl
Architektur
x64
Runtime
php 8
Sprache
php
Paketmanager
composer
Ausführung
container · docker

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

Fall

HOW
Ziel
verify pkg:composer/league/csv@9.28.0
Pakete
Symbole
  • League.Csv.Reader
  • League.Csv.Writer
  • League.Csv.Statement
  • League.Csv.ByteSequence
  • Reader::setHeaderOffset
  • Reader::getHeader
  • Reader::getRecords
  • Writer::insertOne
  • Writer::insertAll
  • Writer::setOutputBOM
Umgebung
php 8
Erstellt
2026-08-18T13:06:13Z

Contract

  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

Dateien

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

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

anonym

Verifizierungsbelege

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