mlx-bun library API
    Preparing search index...
    PythonVerification:
        | { status: "verified" }
        | { error: string; exitCode: number; status: "failed" }
        | { error: string; reason: UnverifiedReason; status: "unverified" }

    verified only when the program exited 0 within every limit and its container was removed. failed carries the program's stderr (else stdout); unverified carries a diagnostic. Both texts are bounded to 400 characters.