HAXY

▄▀▄ ▄▀▀▀▀▄ ▀ ▄▄▀▀▀▀▀▀▄ ▀ ▀ ▀▀▀▀▀▀▀▄▀▄ ▄▄ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀ ▄▀▄ ▀▀▄ ▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▄ ▀▀▀ ▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄ ▀▀▀▀ ▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▄▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▄▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀ ▄▀▀▀▀▀▀▀▄▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▄▄▄▄▄▄▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▄▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▄▄ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀ ▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▄▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀ ▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▄▀▀▀ ▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▄▀▀ ▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▄▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀ ▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▄▀▀ ▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▄▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▄ ▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▄▀▄ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀ ▄▄▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▄

╭ script.js ────────────────────────────────────────────────────╮ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ ╰───────────────────────────────────────────────────────────────╯

╭────╮ ╭ clone ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╮ │http│ ssh │ │ ╰────╯ ╰ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╯

.. demon.ans haxy.wasm index.html ╭─────────────────────────────────╮ │script.js │ ╰─────────────────────────────────╯ term.ttf

1 const grid = document.getElementById("grid"); 2 const overlay = document.getElementById("overlay"); 3 const pageJsonBase64 = document.getElementById("page-data").textContent; 4 5 let wasmInstance; 6 const decoder = new TextDecoder(); 7 const encoder = new TextEncoder(); 8 let currentHtml = ""; 9 // seeded from the server-rendered overlay so the first wasm tick can no-op 10 // when its layout happens to match the server's. otherwise the first tick 11 // always rebuilds and any pre-load focus state is lost. 12 let currentOverlay = overlay.innerHTML; 13 14 const MIN_COLS = 30; 15 16 // measured once after the font is loaded. recomputed lazily if either reads 17 // back as zero (e.g. measured before the font was actually ready). 18 let cellWidth = null; 19 let cellHeight = null; 20 21 function measureCell() { 22 const probe = document.createElement("span"); 23 probe.style.position = "absolute"; 24 probe.style.visibility = "hidden"; 25 probe.style.whiteSpace = "pre"; 26 probe.textContent = "X".repeat(100); 27 grid.appendChild(probe); 28 const rect = probe.getBoundingClientRect(); 29 probe.remove(); 30 cellWidth = rect.width / 100; 31 cellHeight = rect.height; 32 } 33 34 function maxCols() { 35 if (!cellWidth) measureCell(); 36 return Math.max(MIN_COLS, Math.floor(document.body.clientWidth / cellWidth)); 37 } 38 39 // minimum row count for the wasm build — the TUI fills at least the 40 // viewport height, longer content extends past it and the browser scrolls. 41 function minRows() { 42 if (!cellHeight) measureCell(); 43 return Math.max(1, Math.floor(document.documentElement.clientHeight / cellHeight)); 44 } 45 46 function readWasmString(ptr, len) { 47 const memory = wasmInstance.exports.memory; 48 return decoder.decode(new Uint8Array(memory.buffer, ptr, len)); 49 } 50 51 const importObject = { 52 env: { 53 _consoleLog: function (ptr, len) { 54 console.log(readWasmString(ptr, len)); 55 }, 56 _setHtml: function (ptr, len) { 57 const html = readWasmString(ptr, len); 58 if (html === currentHtml) return; 59 currentHtml = html; 60 // the grid only holds non-focusable TUI cell spans now; the 61 // form (inputs + submit button) lives in #overlay and is 62 // never touched by this wipe, so we don't need to save and 63 // restore focus across the swap. 64 grid.innerHTML = html; 65 }, 66 _pushState: function (ptr, len) { 67 const url = readWasmString(ptr, len); 68 // idempotent: wasm tells us its current page every tick after a 69 // change, but we don't want to add history entries for a URL 70 // the browser is already on (e.g., right after the page loaded 71 // from a server-side render of the same route). 72 if (window.location.pathname !== url) { 73 history.pushState({}, "", url); 74 } 75 }, 76 _setOverlay: function (ptr, len) { 77 const html = readWasmString(ptr, len); 78 // diff against the previous overlay HTML; an unchanged overlay 79 // means no layout/structure has shifted (typing alone doesn't 80 // produce a diff because we deliberately omit the `value` 81 // attribute on inputs — the browser tracks that). skipping the 82 // innerHTML assignment keeps the live <form> alive across the 83 // mousedown→focusin→tick→click sequence, which is what lets 84 // the very first click on the submit button actually submit. 85 if (html === currentOverlay) return; 86 currentOverlay = html; 87 overlay.innerHTML = html; 88 }, 89 _focusInput: function (id) { 90 const target = overlay.querySelector(`input[data-focus-id="${id}"]`); 91 if (target && document.activeElement !== target) target.focus(); 92 }, 93 }, 94 }; 95 96 function sendTextInputValue(focusId, value) { 97 const bytes = encoder.encode(value); 98 const ptr = wasmInstance.exports._alloc(bytes.length); 99 new Uint8Array(wasmInstance.exports.memory.buffer, ptr, bytes.length).set(bytes); 100 wasmInstance.exports._setTextInputValue(focusId, ptr, bytes.length); 101 wasmInstance.exports._tick(minRows(), maxCols()); 102 } 103 104 WebAssembly.instantiateStreaming(fetch("haxy.wasm"), importObject).then(async (result) => { 105 wasmInstance = result.instance; 106 107 // wait for the @font-face to load before measuring cell width, otherwise 108 // we get the fallback font's metrics. 109 if (document.fonts && document.fonts.ready) { 110 await document.fonts.ready; 111 } 112 113 // the page is embedded as base64 so it can sit inside the host html 114 // without worrying about characters that would terminate the script tag. 115 // decode here and hand the raw json bytes to the wasm. 116 const jsonBytes = Uint8Array.from(atob(pageJsonBase64), (c) => c.charCodeAt(0)); 117 const ptr = wasmInstance.exports._alloc(jsonBytes.length); 118 new Uint8Array(wasmInstance.exports.memory.buffer, ptr, jsonBytes.length).set(jsonBytes); 119 wasmInstance.exports._init(ptr, jsonBytes.length, minRows(), maxCols()); 120 121 document.addEventListener("keydown", (event) => { 122 // when a form element (text input or submit button) owns focus, 123 // the browser handles typing, Enter-to-submit, and Tab natively. 124 // we only forward keys into the TUI when focus is elsewhere. 125 // exception: arrow up/down on an input unfocuses it and forwards 126 // the event so the TUI can move focus between widgets. 127 if (document.activeElement) { 128 const tag = document.activeElement.tagName; 129 if (tag === "INPUT" && (event.key === "ArrowUp" || event.key === "ArrowDown")) { 130 document.activeElement.blur(); 131 } else if (tag === "INPUT" || tag === "BUTTON") { 132 return; 133 } 134 } 135 if (["ArrowUp", "ArrowDown", "ArrowLeft", "ArrowRight", "PageUp", "PageDown", "Home", "End"].includes(event.key)) { 136 event.preventDefault(); 137 } 138 wasmInstance.exports._onKeyDown(event.keyCode); 139 wasmInstance.exports._tick(minRows(), maxCols()); 140 }); 141 142 // listeners on document (not #grid) since the form lives outside #grid; 143 // input/focus events from form elements still bubble up to document. 144 document.addEventListener("input", (event) => { 145 const t = event.target; 146 if (!t || t.tagName !== "INPUT" || !t.dataset.focusId) return; 147 sendTextInputValue(Number(t.dataset.focusId), t.value); 148 }); 149 150 document.addEventListener("focusin", (event) => { 151 const t = event.target; 152 if (!t || !t.dataset || !t.dataset.focusId) return; 153 wasmInstance.exports._onMouseClick(Number(t.dataset.focusId)); 154 wasmInstance.exports._tick(minRows(), maxCols()); 155 }); 156 157 grid.addEventListener("click", (event) => { 158 const span = event.target.closest(".clickable"); 159 if (!span) return; 160 const focusId = Number(span.dataset.focusId); 161 wasmInstance.exports._onMouseClick(focusId); 162 wasmInstance.exports._tick(minRows(), maxCols()); 163 }); 164 165 let resizeTimer = null; 166 window.addEventListener("resize", () => { 167 clearTimeout(resizeTimer); 168 resizeTimer = setTimeout(() => { 169 wasmInstance.exports._tick(minRows(), maxCols()); 170 }, 100); 171 }); 172 }); 173