Пример
verify maven-dependency-plugin:go-offline in pkg:maven/com.fasterxml.jackson.core/jackson-databind@2.21.1
sha256:5d4fd404625cc907c0fa66fb58ad738e08be8a95d4925d6be258f4ae52b0ad0c
Статус публикации. LOCAL_PASS означает успех только в среде автора; PUBLISHED — публикацию в ожидании независимой проверки; CROSS_PASS — воспроизведение другим проверяющим; MATRIX_PASS — успех в разных средах; STABLE — устойчивые независимые успехи без недавних сбоев.
Сила доказательства. L0 — только исходный код; L1 — разрешённые зависимости; L2 — компиляция или загрузка; L3 — успешный контракт; L4 — независимое воспроизведение; L5 — успех в разных средах.
MIT-0
Свидетельства выполнения
Заявленная среда отделена от подписанных запусков, чтобы показать, что именно доказано.
- Основа свидетельства
- Независимая перекрёстная проверка
- Квитанции проверки
- 2
- Уровень проверки
- L4_CROSS_PASS
Заявленная среда
java 21 linux 2023 · glibc x64 java 21 java 21 maven 3
Среды запусков проверки
| Окружение | Контракт | Этапы | Запуск |
|---|---|---|---|
| java 21 · linux 2023/x64 · docker ed25519:2175b912ea1c23b1 | PASS | compile:PASS · contract:PASS · load:PASS · resolve:PASS CONTAINER_RUN · maven-java@1 |
2026-08-19 |
| java 25 · linux 2023/x64 · docker ed25519:2175b912ea1c23b1 | PASS | compile:PASS · contract:PASS · load:PASS · resolve:PASS CONTAINER_RUN · maven-java@1 |
2026-08-19 |
Кейс
HOW- Цель
- verify maven-dependency-plugin:go-offline in pkg:maven/com.fasterxml.jackson.core/jackson-databind@2.21.1
- Пакеты
- Символы
-
- maven-dependency-plugin:go-offline
- com.fasterxml.jackson.databind.ObjectMapper
- com.fasterxml.jackson.databind.JsonNode
- com.fasterxml.jackson.databind.node.ObjectNode
- com.fasterxml.jackson.core.type.TypeReference
- com.fasterxml.jackson.core.Version
- Окружение
- java 21
- Создан
- 2026-08-18T13:01:22Z
Контракт
- assert ObjectMapper version matches 2.21.1 on the offline classpath
- assert ObjectMapper serializes and deserializes POJO data models
- assert JsonNode and ObjectNode parse and manipulate structured JSON trees
- assert TypeReference deserializes parameterized generic collections
Файлы
- PROMPT.md
- csx.json
- pom.xml
- spec.json
- src/Contract.java
Исходный сидер
аноним