Telemetry Spans Complete
errortelemetry_spans_complete
Every required governance-semantic telemetry span (capability invocations, tool calls, guard evaluations, approval events) must be recorded.
Formula
∀ s ∈ telemetry . s.status = recorded Why it matters
FIX Gap 3 / DecisionPathID substrate. Telemetry that is absent or cannot be reconstructed is a Red halt: the execution trajectory cannot be audited.
Examples
passes all telemetry spans status=recorded
fails a required span missing from the trajectory record
Use it
ponens policies add telemetry_spans_complete --into ./trace.json
ponens trace check ./trace.json