Module segment_profile 

Consumer-side schema for the segment-shape profile JSONL.

These structs are the deserialization targets for each line of a profile captured by the upstream SHADOW_BENCH_PROFILE_PATH probe. The producer that writes the JSONL lives in stark-backend’s prover module; nothing in this directory captures profiles — we only consume them.

ProfileTraceWidth is intentionally a local mirror of the captured wire shape rather than a re-use of keygen::types::TraceWidth: the captured JSONL is a stable on-disk format, while the upstream type evolves (e.g. the after_challenge field was removed upstream after these profiles were captured). Decoupling lets old captures keep deserializing against newer backends. #[serde(default)] on optional fields gives forward/backward schema tolerance.

Structs

AirShapeRecord

ProfileTraceWidth

Width fields as captured in the profile JSONL — independent of the upstream TraceWidth so schema evolution upstream doesn’t break replay of older captures.

SegmentProfile