CodeSampleX

Пример

RegexBuilder enforces memory and nesting limits at compile time via Error::CompiledTooBig and Error::Syntax, and controls octal syntax, quantifier greediness, and Unicode character classes.

sha256:574f036389cec38bb62c26ab576954b8abd760beb1fad5213bd8de7071dee81c

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

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

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

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

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

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

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

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

CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · cargo@1 · 2026-08-18

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

CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · cargo@1 · 2026-08-18

Кейс

HOW
Цель
RegexBuilder enforces memory and nesting limits at compile time via Error::CompiledTooBig and Error::Syntax, and controls octal syntax, quantifier greediness, and Unicode character classes.
Пакеты
Символы
  • regex::RegexBuilder
  • regex::Error
Окружение
rust
Создан
2026-08-18T10:08:33Z

Контракт

  1. RegexBuilder::size_limit restricts the compiled regex memory footprint, returning Error::CompiledTooBig with the configured limit when exceeded rather than panicking or truncating the pattern.
  2. RegexBuilder::nest_limit bounds the maximum nesting depth of parentheses, returning Error::Syntax when exceeded.
  3. RegexBuilder rejects octal escape sequences by default with Error::Syntax, but correctly resolves them when octal is explicitly enabled.
  4. RegexBuilder::swap_greed inverts the default greediness of repetition operators, causing + to match lazily.
  5. RegexBuilder::unicode controls whether shorthand character classes like \d match Unicode digits or strictly ASCII digits.

Файлы

  • Cargo.lock
  • Cargo.toml
  • NOTES.md
  • csx.json
  • src/lib.rs

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

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

csx-seed

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

  • rust 1 · linux alpine/x64 · docker PASS
    CONTAINER_RUN compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS cargo@1
    ed25519:d91480838ac982c9
  • rust 1 · linux alpine/x64 · docker PASS
    CONTAINER_RUN compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS cargo@1
    ed25519:2175b912ea1c23b1