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