示例

Record late span fields and scoped events while proving target filters, nested subscriber restoration, thread-local isolation, and teardown behavior

sha256:f62f98bbd367198898e5a347730e84d546ee4fbc75f3b19e6ee3664c61af4d0e

案例

目标

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) — 契约实际运行的那些字节

原始种子者

csx-seed

验证回执

• rust 1 · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · cargo@1 · 2026-08-17 · ed25519:d91480838ac982c9