Function check_rust_startup_abi_boundary

xtask/src/main.rs:6292–6356

()

}

fn check_rust_startup_abi_boundary() -> Result<()> {
    let path = Path::new("src/pglite/postgres_mod.rs");
    let text = fs::read_to_string(path).with_context(|| format!("read {}", path.display()))?;

    for marker in [
        "struct PgliteLifecycleExports",
        "struct WasixProtocolExports",
        "fn ensure_integrated_pglite_contract",
        "fn record_backend_c_timings",
        "pgl_backend_timing_reset",
        "pgl_backend_timing_elapsed_us",
        "host_requires_process_exit_error_recovery",
        "pgl_set_force_host_error_recovery",
        "The upstream lifecycle is already running by this point",
    ] {
        if !text.contains(marker) {
            bail!(
                "{} must keep upstream lifecycle exports separate from WASIX protocol ABI; missing {marker:?}",
                path.display()
            );
        }
    }
    if text.contains("struct Exports") {
        bail!(
            "{} must not collapse PGlite lifecycle and WASIX protocol exports into a generic Exports struct",
            path.display()
        );
    }

    let lifecycle_start = text
        .find("struct PgliteLifecycleExports")
        .ok_or_else(|| anyhow!("missing PgliteLifecycleExports"))?;
    let protocol_start = text
        .find("struct WasixProtocolExports")
        .ok_or_else(|| anyhow!("missing WasixProtocolExports"))?;
    let lifecycle_block = &text[lifecycle_start..protocol_start];
    for protocol_marker in [
        "ProcessStartupPacket",
        "PostgresMainLoopOnce",
        "pgl_wasix_input",
    ] {
        if lifecycle_block.contains(protocol_marker) {
            bail!(
                "{} lifecycle export block leaked WASIX protocol marker {protocol_marker:?}",
                path.display()
            );
        }
    }
    for lifecycle_marker in [
        "wasi_start",
        "set_force_host_error_recovery",
        "set_active",
        "start_pglite",
    ] {
        if !lifecycle_block.contains(lifecycle_marker) {
            bail!(
                "{} must drive the integrated PGlite lifecycle; missing {lifecycle_marker:?}",
                path.display()