The one-clause page shows the refusal it claims

[onatozmenn]

The heading on this section says:

A host without Io.save refuses the second module, before any of it runs.

The snippet under it did something else. It ran the module with no host at
all and read whichever import execution reached first, which for both of
these modules is deed:io.read — the operation they share, not the clause that
is the difference between them. A host behaving that way would have read the
file before noticing it could not save.

Measured and fixed on the compiler side in
deed-lang/deed#964, where the
test named for save turned out never to mention save.

What this page shows now

Host::link reads the whole import section and answers before an instruction
runs, which is what the heading claims:

let mut host = Host::new();
host.offer("deed:io", "read", |_| Ok(Some(Value::I64(0))));

let refused = host
    .link(&module_for("read_write.deed"))
    .expect_err("a host that cannot save should refuse the module that saves");

assert_eq!(refused.name, "save");

And the other half, which is what makes the first half mean anything: the same
host links the read-only module and hands it back ready to call. A host that
refused both would be a host with no filesystem.

The transcript

Five tests, one of which no longer exists, becomes seven. The compiler's
repository now reads that list back out of demo/README.md and compares it to
the tests the file declares, so this page and that one cannot drift apart
quietly again.

node tools/check.mjs: 72 files, every link resolves, and v0.2.10 loaded and
answered about all 29 examples.