pub fn render_engine_failure(
sequence: u64,
code: EngineFailureCode,
message: &str,
) -> StringExpand description
What:
Render one engine-failure event as a line-terminated JSON object.
u64 is an unsigned 64-bit integer for the per-invocation event number.
Why:
Field order and spelling match the incumbent’s JSON.stringify output,
so
existing consumers parse native events unchanged.
In TS you’d write (pseudocode):
function renderEngineFailure(sequence: number, code: EngineFailureCode, message: string): string;