CodeSampleX

Пример

verify pkg:composer/league/csv@9.28.0

sha256:4a2d0442af9f6a368f6a22df060ed17be6d4367494a978a196795337c7a7e0d6

Статус публикации. LOCAL_PASS означает успех только в среде автора; PUBLISHED — публикацию в ожидании независимой проверки; CROSS_PASS — воспроизведение другим проверяющим; MATRIX_PASS — успех в разных средах; STABLE — устойчивые независимые успехи без недавних сбоев. Сила доказательства. L0 — только исходный код; L1 — разрешённые зависимости; L2 — компиляция или загрузка; L3 — успешный контракт; L4 — независимое воспроизведение; L5 — успех в разных средах. MIT-0

Свидетельства выполнения

Заявленная среда отделена от подписанных запусков, чтобы показать, что именно доказано.

Основа свидетельства
Независимая перекрёстная проверка
Квитанции проверки
1
Уровень проверки
L4_CROSS_PASS

Заявленная среда

Контекст выполнения
php 8
Операционная система
linux
Архитектура
x64
Среда выполнения
php 8
Язык
php
Менеджер пакетов
composer

Среды запусков проверки

php 8 · linux alpine/x64 · docker PASS
Контекст выполнения
php 8
Операционная система
linux alpine · musl
Архитектура
x64
Среда выполнения
php 8
Язык
php
Менеджер пакетов
composer
Выполнение
container · docker

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

Кейс

HOW
Цель
verify pkg:composer/league/csv@9.28.0
Пакеты
Символы
  • League.Csv.Reader
  • League.Csv.Writer
  • League.Csv.Statement
  • League.Csv.ByteSequence
  • Reader::setHeaderOffset
  • Reader::getHeader
  • Reader::getRecords
  • Writer::insertOne
  • Writer::insertAll
  • Writer::setOutputBOM
Окружение
php 8
Создан
2026-08-18T13:06:13Z

Контракт

  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

Файлы

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

Скачать артефакт с исходным кодом (tar.gz)

Исходный сидер

аноним

Квитанции проверки

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