Module report 

At-exit report for compiled Seq programs

Dumps KPIs when the program finishes, controlled by SEQ_REPORT env var:

• Unset → no report, zero cost
• 1 → human-readable to stderr
• json → JSON to stderr
• json:/path → JSON to file

Feature Flag

This module requires the diagnostics feature (enabled by default). When disabled, report_stub.rs provides no-op FFI symbols.

Structs

ReportConfig

Parsed report configuration

ReportData

Collected metrics for the report

Enums

ReportDestination

Output destination

ReportFormat

Output format

Functions

patch_seq_report^⚠

At-exit report — called from generated main after scheduler_run

patch_seq_report_init^⚠

Register instrumentation data from compiled binary (tier 2)