Observed the public URL serving the previous build for ~3.5 minutes after a
push. Responses carry x-pages-cache: true and cache-control: max-age=600, and
a cache-busting query does not bypass it. The earlier claim of ~15s was wrong.
AGENTS.md and deploy.sh now say to check the repo raw file FIRST: if that
matches the local build the push landed and only the cache is behind, so don't
start changing things.
The Pages deployment is now the primary copy, so two things had to change:
- Hosted pages fall back to steam-sync.py on 127.0.0.1:8765 instead of
refusing to sync. steam-sync.py now answers Chrome's Private Network
Access preflight (Access-Control-Allow-Private-Network), which is what a
public https page needs before it may call into localhost.
- The build sources lived in /tmp and would have been lost. They now live in
build/, and build.py outputs to the repo root. deploy.sh rebuilds,
commits and pushes in one step.
Editing index.html directly is no longer the workflow - edit build/ and run
./deploy.sh.
