CodeSampleX

Пример

verify pkg:maven/com.fasterxml.jackson.core/jackson-databind@2.21.4

sha256:c2b4614f8f1a7a04cb56f00a153bbb2e1e626af9a0c364853b9c52d2208857b0

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

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

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

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

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

Контекст выполнения
java 21
Операционная система
linux 2023 · glibc
Архитектура
x64
Среда выполнения
java 21
Язык
java 21
Менеджер пакетов
maven 3

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

java 21 · linux 2023/x64 · docker PASS
Контекст выполнения
java 21
Операционная система
linux 2023 · amzn · glibc
Архитектура
x64
Среда выполнения
java 21
Язык
java 21
Менеджер пакетов
maven 3
Выполнение
container · docker

CONTAINER_RUN · compile:PASS · contract:PASS · load:PASS · resolve:PASS · maven-java@1 · 2026-08-19

Кейс

HOW
Цель
verify pkg:maven/com.fasterxml.jackson.core/jackson-databind@2.21.4
Пакеты
Символы
  • ObjectMapper.writeValueAsString
  • ObjectMapper.readValue
  • ObjectMapper.readTree
  • ObjectMapper.createObjectNode
  • DeserializationFeature.FAIL_ON_UNKNOWN_PROPERTIES
  • JsonNode
Окружение
java 21
Создан
2026-08-18T13:01:25Z

Контракт

  1. ObjectMapper serializes and deserializes structured POJOs with JSON property mappings and constructor creators.
  2. ObjectMapper builds and traverses JsonNode tree models and constructs dynamic ObjectNodes.
  3. DeserializationFeature configuration controls handling of unmapped JSON attributes.

Файлы

  • PROMPT.md
  • csx.json
  • pom.xml
  • spec.json
  • src/Contract.java

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

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

аноним

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

  • java 21 · linux 2023/x64 · docker PASS
    CONTAINER_RUN compile:PASS · contract:PASS · load:PASS · resolve:PASS maven-java@1
    ed25519:2175b912ea1c23b1