        yield* Effect.annotateCurrentSpan({
          "proof.fields": JSON.stringify(fields ?? []),
          "proof.types": JSON.stringify(filter?.turnItemTypes ?? []),
          "proof.statuses": JSON.stringify(filter?.turnItemStatuses ?? []),
          "proof.omitSettledLeafNodes": filter?.omitSettledLeafNodes ?? false,
          "proof.nodes": nodes.length,
          "proof.turnItems": turnItems.length,
          "proof.reasoning": turnItems.filter((item) => item.type === "reasoning").length,
          "proof.toolNodes": nodes.filter((node) => node.kind === "tool_call").length,
          "proof.settledToolNodes": nodes.filter((node) => node.kind === "tool_call" && ["completed", "failed", "interrupted", "cancelled"].includes(node.status)).length,
        });
