Problem
StateProof verifies against a gap-free, seq-ordered trajectory in its own JSONL format. Real agents emit OpenTelemetry spans, framework-native tool logs, or vendor trace exports. Hand-converting them is the adoption barrier.
Proposal
A small set of adapters that map a source trace into the trajectory schema in packages/core/src/schema/, assigning seq from causal order rather than timestamps, and failing loudly when ordering cannot be established. A trajectory that cannot be ordered cannot support an event_order assertion, and the verifier should say so rather than guess.
Open questions
- How human approval events are represented in each source.
- Whether state snapshots can be reconstructed from a trace, or must be supplied separately.
Problem
StateProof verifies against a gap-free,
seq-ordered trajectory in its own JSONL format. Real agents emit OpenTelemetry spans, framework-native tool logs, or vendor trace exports. Hand-converting them is the adoption barrier.Proposal
A small set of adapters that map a source trace into the trajectory schema in
packages/core/src/schema/, assigningseqfrom causal order rather than timestamps, and failing loudly when ordering cannot be established. A trajectory that cannot be ordered cannot support anevent_orderassertion, and the verifier should say so rather than guess.Open questions