/**
 * Regression tests for malformed frames sent by an authenticated peer.
 *
 * The 'message' handler in `setupWSConnection` decodes whatever arrives with
 * `decoding.readVarUint`, `syncProtocol.readSyncMessage` and
 * `awarenessProtocol.applyAwarenessUpdate`. All three throw on input they cannot
 * parse, and `ws` emits the listener's exception on the process. With no
 * `uncaughtException` handler installed, one such frame used to take the whole
 * multiplayer server down — every other document and every other client with it.
 *
 * The payloads below are the ones that reproduce it: 600 KiB of zeros decodes as
 * sync step 1 with an empty state vector, which makes `Y.encodeStateAsUpdate`
 * throw "Unexpected end of array"; the truncated frames run off the end of the
 * buffer inside the decoder.
 */

import assert from 'node:assert/strict'
import test from 'node:test'
import { setTimeout as delay } from 'node:timers/promises'
import * as encoding from 'lib0/encoding'

import { mintToken, startJwksServer, startMultiplayerServer, waitFor } from './helpers.mjs'
import {
  hasSyncType,
  messageAwareness,
  messageSync,
  openClient,
  syncedDoc,
  syncStep1,
  syncStep1Message,
  syncStep2,
  updateMessage
} from './protocol.mjs'

const WORKSPACE = 'test_workspace'
const DOC_PATH = `${WORKSPACE}/f/foo/bar`
// server.mjs closes a connection whose frame it could not decode with 1007
// ("invalid frame payload data").
const INVALID_PAYLOAD = 1007
// Logged by server.mjs for every frame it refused; asserted on so the tests
// cannot pass on a connection that was closed for some unrelated reason.
const REFUSED = 'MALFORMED MESSAGE'
// Logged by server.mjs once the JWKS fetch resolves. While it is absent the
// server demonstrably has no key, so anything it received is in the pre-auth window.
const KEY_LOADED = 'Successfully loaded Ed25519 public key'
// Grace for a frame the client has already written to be delivered over loopback
// and read by the (otherwise idle) server, before the key is released. Only the
// already-written bytes have to land in this time, and the REPLAY assertion
// below fails loudly if they did not, rather than quietly testing the wrong path.
const FLIGHT_MARGIN_MS = 500
// Logged by server.mjs when, and only when, it replays messages that were
// buffered before authentication.
const REPLAYED = 'REPLAY:'
// A control character a peer would use to forge log lines or drive a terminal.
const ESC = '\x1b'

/**
 * 600 KiB of zeros: `messageSync`, then sync step 1 with a zero-length state
 * vector, which `Y.encodeStateAsUpdate` cannot decode.
 */
function zeroFlood() {
  return Buffer.alloc(600 * 1024)
}

/** `messageSync` with nothing after it: `readSyncMessage` reads past the end. */
function truncatedSyncMessage() {
  return Uint8Array.from([messageSync])
}

/** `messageSync` + sync step 1 whose state vector is shorter than it claims. */
function truncatedStateVector() {
  return Uint8Array.from([messageSync, syncStep1, 8, 1, 2, 3])
}

/** `messageAwareness` + an awareness payload shorter than it claims. */
function truncatedAwarenessMessage() {
  return Uint8Array.from([messageAwareness, 8, 1, 2, 3])
}

/**
 * `messageAwareness` + one well-formed entry whose state is not JSON, so
 * `applyAwarenessUpdate` fails inside `JSON.parse`. V8 quotes the offending
 * input back in its message, which is how peer bytes — ESC included — can reach
 * a log line that interpolates `error.message`.
 */
function awarenessWithUnparseableState() {
  const update = encoding.createEncoder()
  encoding.writeVarUint(update, 1) // one client
  encoding.writeVarUint(update, 42) // client id
  encoding.writeVarUint(update, 1) // clock
  // Not starting with '{': V8 only quotes the input back for a value that is
  // invalid from position 0, which is the case this needs to reproduce.
  encoding.writeVarString(update, `x${ESC}[2J OWNED THE LOG`)
  const encoder = encoding.createEncoder()
  encoding.writeVarUint(encoder, messageAwareness)
  encoding.writeVarUint8Array(encoder, encoding.toUint8Array(update))
  return encoding.toUint8Array(encoder)
}

const MALFORMED = [
  ['600 KiB of zeros', zeroFlood],
  ['a truncated sync message', truncatedSyncMessage],
  ['a truncated sync step 1 state vector', truncatedStateVector],
  ['a truncated awareness update', truncatedAwarenessMessage],
  ['an awareness state that is not JSON', awarenessWithUnparseableState]
]

/** Connect, wait for the server's sync step 1, i.e. for the peer to be authenticated. */
async function connectAuthenticated(server, token, { onOpen } = {}) {
  const client = openClient(`${server.url}/${DOC_PATH}?token=${token}`, { onOpen })
  await waitFor(() => hasSyncType(client, syncStep1) || client.closeCode !== undefined, {
    message: 'the server to send sync step 1'
  })
  assert.equal(client.closeCode, undefined, 'connection was closed before it was set up')
  return client
}

for (const [label, payload] of MALFORMED) {
  test(`an authenticated client sending ${label} is closed, and the server survives`, { timeout: 60000 }, async (t) => {
    const jwks = await startJwksServer()
    const server = await startMultiplayerServer({ WINDMILL_BASE_URL: jwks.baseUrl })
    t.after(async () => {
      await server.close()
      await jwks.close()
    })

    const token = mintToken(jwks.privateKey, { workspaceId: WORKSPACE })

    // A bystander on the same document, synced before anything goes wrong.
    const bystander = await connectAuthenticated(server, token, {
      onOpen: (ws) => ws.send(syncStep1Message())
    })
    await waitFor(() => hasSyncType(bystander, syncStep2), {
      message: 'the server to answer the bystander with sync step 2'
    })
    t.after(() => bystander.ws.close())

    // The offender is fully authenticated — the server has already answered it
    // with sync step 1 — so this frame goes through the live message handler,
    // not the pre-auth buffer.
    const offender = await connectAuthenticated(server, token)
    offender.ws.send(payload())

    await waitFor(() => offender.closeCode !== undefined, {
      message: 'the offending connection to be closed'
    })
    assert.equal(offender.closeCode, INVALID_PAYLOAD)
    assert.equal(server.exitStatus, null, `server died: ${server.output}`)
    // The frame itself is never logged: 600 KiB of zeros must not reach the log.
    assert.ok(server.output.length < 8192, `server logged ${server.output.length} bytes, payload leaked?`)

    // Exactly one refusal line, and every assertion about it is made against the
    // line itself: CONNECT and DISCONNECT also name the document, so checking the
    // whole log would pass even if the refusal stopped naming anything.
    const refusals = server.output.split('\n').filter((line) => line.includes(REFUSED))
    assert.equal(refusals.length, 1, `expected one refusal line, got:\n${server.output}`)
    assert.ok(refusals[0].includes(`doc="${DOC_PATH}"`), `the refusal must name the document: ${refusals[0]}`)
    assert.ok(refusals[0].includes('from='), `the refusal must name the peer: ${refusals[0]}`)
    // Nothing a peer put in the frame can escape that line: an error message can
    // quote the payload (V8 does so for JSON.parse), so it must carry no control
    // characters at all.
    assert.doesNotMatch(refusals[0], /[\x00-\x1f\x7f]/, 'the refusal line must have no control characters')

    // The bystander was not disturbed, and a new client still syncs.
    assert.equal(bystander.closeCode, undefined)
    const latecomer = await connectAuthenticated(server, token, {
      onOpen: (ws) => ws.send(syncStep1Message())
    })
    t.after(() => latecomer.ws.close())
    await waitFor(() => hasSyncType(latecomer, syncStep2), {
      message: 'the server to answer a new client with sync step 2'
    })

    // And a real edit still propagates from one client to the other.
    const bystanderDoc = syncedDoc(bystander)
    latecomer.ws.send(updateMessage('hello'))
    await waitFor(() => bystanderDoc().getText('content').toString() === 'hello', {
      message: 'the edit to propagate to the bystander'
    })
  })
}

test('a malformed frame replayed from the pre-auth buffer is refused, not fatal', { timeout: 60000 }, async (t) => {
  const jwks = await startJwksServer({ hold: true })
  const server = await startMultiplayerServer({ WINDMILL_BASE_URL: jwks.baseUrl })
  t.after(async () => {
    await server.close()
    await jwks.close()
  })

  const token = mintToken(jwks.privateKey, { workspaceId: WORKSPACE })

  // The key is parked, so this frame is buffered by the pre-auth path and only
  // decoded later, when `setupWSConnection` replays it. One 600 KiB frame stays
  // under MAX_PREAUTH_BYTES (1 MiB), so the flood cap cannot be what closes it.
  await waitFor(() => jwks.requests >= 1, { message: 'the server to request the JWKS' })
  let framesWritten = 0
  const offender = openClient(`${server.url}/${DOC_PATH}?token=${token}`, {
    onOpen: (ws) => ws.send(zeroFlood(), () => framesWritten++)
  })
  await waitFor(() => framesWritten === 1, { message: 'the offending client to write its frame' })
  // The frame is on the wire while the server demonstrably has no key, so it
  // cannot have been authenticated yet.
  assert.ok(!server.output.includes(KEY_LOADED))
  await delay(FLIGHT_MARGIN_MS)
  jwks.release()

  await waitFor(() => offender.closeCode !== undefined, {
    message: 'the offending connection to be closed'
  })
  assert.equal(offender.closeCode, INVALID_PAYLOAD)
  // Without this the test would pass just as well if the frame had arrived after
  // setup and gone through the live handler — the same close code, the same log
  // line — so it would silently stop covering the replay path it is named for.
  // server.mjs logs REPLAY only when it replays a pre-auth buffer.
  assert.ok(
    server.output.includes(`${REPLAYED} doc="${DOC_PATH}" from=127.0.0.1 messages=1`),
    `the frame did not go through the pre-auth buffer:\n${server.output}`
  )
  assert.equal(server.exitStatus, null, `server died: ${server.output}`)
  assert.ok(server.output.includes(REFUSED), `server did not log the refused frame:\n${server.output}`)

  // The server is unharmed and still syncs a well-behaved client.
  const healthy = await connectAuthenticated(server, token, {
    onOpen: (ws) => ws.send(syncStep1Message())
  })
  t.after(() => healthy.ws.close())
  await waitFor(() => hasSyncType(healthy, syncStep2), {
    message: 'the server to still answer a well-behaved client with sync step 2'
  })
})