const runButton = document.querySelector("#run-worker");
const resultOutput = document.querySelector("#worker-result");
const logOutput = document.querySelector("#worker-log");
let activeWorker = null;

const evidence = [];
window.workerEvidence = evidence;
window.lastWorkerResult = null;

function writeLog(message) {
  evidence.push(message);
  logOutput.textContent = evidence.join("\n");
  console.log(message);
}