Merge origin/master, keeping the newer local narrative
The two histories were unrelated, so every shared page conflicted as an
add/add. The local side is this week's work and supersedes the remote almost
everywhere: eight trace kinds rather than seven, a transactive-memory
directory that has landed, `@this` documented as not being a production, and
the grammar-reference alignment across Mentions, Trace grammar, Glossary and
Hive episodes. Those pages take the local text.
The one passage the local side never had is preserved: "Two harness defects
the runs exposed", from the remote's live `checkout-503` runs. Integrating it
would have pushed Benchmarks.md past the 500-line limit, so the live-agent
half of that page moved to a new focused page, Benchmarks-live, where the
harness defects now sit with the runs that produced them. Benchmarks keeps a
summary and links to it, alongside the existing Benchmarks-delegation split.
The sidebar lists the new page, the Glossary's "Live mode" row points at it,
and the four forward references inside Benchmarks that used to say "below"
now link to it.
Co-authored-by: Medulla <medulla@tinyhumans.ai>