Imported from magmacrunch-media/george-boole (AGENTS.md). Install upstream with npx skills add magmacrunch-media/george-boole. Copyright stays with the author.

George Boole — agent brief

One game, three versions and one derived build, all in one repo:

• web/ — browser version (adenosine engine, plain JS). Source of truth for rules and balance. Deployed by the website repo: run make sync-george-boole there to copy web/ into arcade/george-boole/. Never edit the website repo's copy directly — it gets overwritten.
• wii/ — Wii port (magnolia engine, C99). Has its own AGENTS.md with build and porting detail. Expects magnolia checked out beside this repo.
• tui/ — terminal version (the magmacrunch.engine TUI engine, Python). python -m boole. Has its own README.md.
• ios/ — the App Store build, generated from web/ by node ios/package.mjs. Not a fourth version and not a place to edit the game: it is the list of differences between a page served from the arcade and a bundle that has to run offline without a chat widget. Has its own AGENTS.md.

A gameplay change is not done until all three versions have it (or the commit says why one is skipped). web/js/ is the reference the Wii port was checked against. ios/ is exempt because it is derived — it picks the change up at the next build, which is the whole reason it is derived.

Cache-buster stamps in web/index.html

Every ?v= in web/index.html is the first eight hex of SHA-256 over the file it stamps, with newlines normalised to LF. Get one wrong and visitors keep serving the cached old bytes, so the change reaches nobody and the page still loads.

../shared/adenosine-audio.js and ../shared/adenosine-chat.js are the ones to watch: they name files that do not exist in this repo at all. They resolve only once web/ has been copied into the website's arcade/, and they go stale when that repo updates the shared bundles — which nothing here can notice. This page's own stamps drift too, though: css/modal-misc.css and js/game.js were each edited with the stamp beside them left alone.

The website's .githooks/pre-commit recomputes stale stamps in its copy of this page, but that repair never travels back here, and make sync-george-boole copies web/ over arcade/george-boole/ verbatim. So a stamp corrected there is reverted by the next sync, silently, on a game nobody touched. The fix belongs in this repo. Recompute one from a website checkout, and check the whole site after any sync:

node scripts/check-cache-busters.mjs --digest arcade/shared/adenosine-audio.js
npm run check:cachebust

Audio needs both .ogg and .mp3

web/js/main.js picks the extension at load time and hands it to AdAudio:

const AUDIO_EXT = document.createElement('audio')
    .canPlayType('audio/ogg; codecs="vorbis"') ? '.ogg' : '.mp3';
const audioSrc = (path) => path.replace(/\.ogg$/, AUDIO_EXT);

Every clip in web/audio/ exists twice. Adding one means adding both:

ffmpeg -i web/audio/sfx/new.ogg -c:a libmp3lame -q:a 2 web/audio/sfx/new.mp3

Check the result against the source size rather than reaching for -q:a 0. game-loop.ogg is 3:50 of roughly 93kbps Vorbis: V0 inflated it from 2.7MB to 4MB, which is the wrong trade for background music over mobile data, and V2 brought it back to 2.86MB.

iOS has no Ogg Vorbis decoder, and every browser on iOS is WebKit, so Chrome and Firefox there fail exactly as Safari does. Ogg-only audio is not quieter on an iPhone, it is silent — and silent without an error, because the failed decode lands in the same do-nothing path the loader already swallows on purpose. This game shipped that way and it went unreported for as long as it existed.

Both formats are committed, and web/ is copied into the website's arcade/ verbatim by make sync-<repo>, so the fix belongs in this repo — an mp3 added on the website side is deleted by the next sync, exactly like a corrected ?v= stamp.

Two things worth knowing before this looks broken:

• adenosine-audio loops music through a decoded Web Audio buffer, and mp3 carries encoder delay and padding inside that buffer, so the loop seams slightly on iOS where the ogg does not. A faint seam beats silence; the alternative is a gapless format far too large to serve.
• Keep the .ogg. It stays the file almost everyone receives, and the mp3 is a second-generation transcode of it.

Where the rules live in each version

wii/source/board.c is the best reference to port from, not web/js/game.js — it is the same rules already separated from a renderer, and it was checked against the web game's own assertions when it was written. The TUI version was ported from it for that reason.

The assertion table exists three times and must agree everywhere: web/tests/test-game-logic.js → wii/tests/test_board.c → tui/tests/test_board.py. Adding a rule means adding it to all three.

The gold "personal best" tile — how the three builds differ

All three plate the tile holding the best value ever built by merging, and all three pay the same height bonus for reaching it (mode_height_bonus, modes.height_bonus, the heightBonus in moveLeft). What differs is only which tile gets the plate when more than one holds that value:

So the web golds whichever tile got there first; the other two gold every tile holding that value. The difference is visible only when a value is built twice, and it is cosmetic — nothing about scoring depends on it.

Asking about the value cannot gild a spawn, which is the thing the web's comments are careful about. tui/tests/test_board.py checks it exhaustively: every value every spawn table can hand out, at every width, against that width's height floor. Nothing spawns within reach of a floor.

This section used to say the Wii did not have the tile at all and that the TUI had inherited the gap. That was wrong about the Wii — render.c has drawn it since the repo was restructured — and is now wrong about the TUI too.

The rainbow tile (the tile that earned a Gauntlet promotion) is in all three, and wins over the gold in all three when one tile is both. Note it only appears when a merge lands on the ceiling — NOT-of-ceiling also promotes, but clears the tile, so there is nothing left to mark.

tui/LICENSE and tui/NOTICE are copies

The originals are at the repo root, where they cover web/ and wii/ too. The copies exist because the wheel is built from tui/ and PolyForm requires the notice to travel with the distribution — a wheel built from a subdirectory cannot reach a file above it, and force-include does not help because python -m build builds the wheel from an unpacked sdist that has no parent.

Relicensing means changing all three copies, here and in texas-holdem-lava-dome/tui/. Nothing checks this automatically.