Sync docs from RoldSI/superred main (39677c1)

[RoldSI]

Syncs the documentation site from RoldSI/superred main (c83f11e → 39677c1), re-applying the adaptation this mirror needs to render at rdi.berkeley.edu/superred/.

This carries every upstream docs change since the last sync, not only the catalogue ones — the sync replaces the whole docs/ tree rather than cherry-picking.

What changed upstream

Seven files, all modifications:

Area	Change
_data/modules.yml, modules.html	catalogue gains four entries (Libertas, Attack Anything, OpenClaw, MalTool), 35 → 39; a module living in its own repository is now linked straight from a full URL in repo
reference/controller.md, guide/running-evaluations.md, guide/writing-a-target.md, guide/writing-an-optimizer.md	a cap also bounds the cleanup after it; cleanup budget keys on a cancellation in flight; the dropped post-task reset_ephemeral_state
reference/results.md	states the ASR treatment the code actually implements, counting a timeout

What was adapted for /superred

Upstream docs are authored for a domain root, so root-absolute paths (/assets, /guide, /reference, /modules) 404 under a subpath. Re-applied on top of the sync:

• _config.yml: baseurl: /superred, url: https://rdi.berkeley.edu
• every root-absolute href/src and markdown link wrapped in | relative_url (164 wrappings)
• no CNAME (upstream's names superred.simonsure.com)

The catalogue needed no baseurl handling: its tile links are built in JavaScript from an absolute GitHub constant, and the new own-repo branch uses the full URL in repo as-is. Only one new markdown link, in reference/controller.md, required wrapping.

Verification

Built locally with Jekyll and audited the rendered HTML, since Pages only builds from main and so cannot preview this branch:

• build clean, 27 pages
• 0 stray root-absolute refs in the built output; 1018 correctly /superred-prefixed
• 0 broken internal links — every one of those 1018 link and asset targets resolves to a built file
• catalogue renders all four new modules with their pip names, MalTool keeps its own-repo URL (RoldSI/MalTool/tree/init/maltool-claim), and the page reports 39 modules

Two completeness checks:

• a full-tree diff -rq between transform(RoldSI@39677c1) and this branch's docs/ is empty — nothing upstream is left behind, and the adaptation is exactly reproducible
• the diff's line counts match upstream's own diffstat exactly (63 insertions, 19 deletions)

Note for a future root domain

The wrapping uses relative_url rather than a hardcoded /superred, so if this ever moves to a domain root, clearing baseurl restores correct links with no further edits.