A page for the argument the language is built on

[onatozmenn]

deed mcp had one paragraph, on the install page. That is the wrong place: a
person deciding whether to wire a compiler into an agent is not reading a
download page. This turns it into somewhere to be pointed at.

Everything it claims, it demonstrates

The four transcripts are filled in from the pinned artifact in the reader's
tab, for the programs printed above them. Nothing on the page is a sample
output written here. That rule already covers the playground and the
diagnostics index, and it matters more on a page whose whole subject is what a
machine gets back.

In order, the page shows:

• an obligation line carrying a tier — proven and tested in the same
  answer, neither of them asked for;
• the same refinement without the precondition that establishes it, coming back
  guarded with "reason": "nothing narrowed this name", which is a sentence a
  model can act on;
• the export diagnostic, with its machine-applicable edit and the note saying
  why the word does not exist — the single most common thing said across the
  five runs in benchmarks/RESULTS.md, forty-five times;
• deed_test running a property generated from a contract, in a module with no
  tests in it.

The measurement, with its caveats attached

The benchmark is a small table with the control arm beside it — six confident
answers either way, none of the prompt-only ones compiling — and a link to the
record rather than a copy of it, along with the three things it does not
establish. A page that quotes a measurement without its caveats is worse than
one that quotes nothing.

Held by the existing checks

assets/agents.js carries the same TAG and VERSION as the other two
scripts, so tools/check.mjs compares it to the pin like the rest, and the page
has the favicon and the mark it asks every page for. node tools/check.mjs
passes at 72 files.

Verified in a browser: all four transcripts fill in, the status line reports
Deed 0.2.9, and the nav is the same six entries with the right one active on
all six pages.

Nav gains an entry on every page, and the landing page a fourth card.