샘플
Record late span fields and scoped events while proving target filters, nested subscriber restoration, thread-local isolation, and teardown behavior
sha256:f62f98bbd367198898e5a347730e84d546ee4fbc75f3b19e6ee3664c61af4d0e
PUBLISHED
L3_CONTRACT_PASS
MIT-0
케이스
- 목표
- Record late span fields and scoped events while proving target filters, nested subscriber restoration, thread-local isolation, and teardown behavior HOW
- 패키지
- tracing 0.1.44 tracing-subscriber 0.3.23
- 환경
- rust
- 생성일
- 2026-08-17T01:09:31Z
흔히 이렇게 알고 있다
A subscriber installed with with_default is often assumed to compose with an existing default and propagate to threads spawned inside its closure.
이 샘플의 작성자가 여기서 개발자나 모델이 기대할 법한 내용으로 적어둔 것이다. 아래 계약이 실제로 실행된 것이다.
컨트랙트
- assert Span::record updates a field declared with tracing::field::Empty and the event observes the entered span scope
- assert a per-layer Targets filter captures the allowed target while excluding a higher-severity event from an unlisted target
- assert a nested with_default replaces rather than composes with the outer dispatcher, then restores the outer dispatcher when its closure returns
- assert a with_default dispatcher is thread-local and is not inherited by a thread spawned inside the scoped closure
- assert events emitted after the outer with_default closure returns are not delivered to either scoped capture
파일
- Cargo.lock
- Cargo.toml
- csx.json
- src/lib.rs
검증된 아티팩트 내려받기 (tar.gz) — 컨트랙트가 실제로 실행된 바로 그 바이트
오리진 시더
검증 영수증
- rust 1 · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · cargo@1 · 2026-08-17 · ed25519:d91480838ac982c9